From 9acfdb26da1e1c5c730a74ec161e7c5694b03122 Mon Sep 17 00:00:00 2001 From: "H. Peter Anvin" Date: Mon, 24 Dec 2018 12:16:38 -0800 Subject: Makefile: make doc depend on warnings.src warnings.src needs to exist for make doc to work. Signed-off-by: H. Peter Anvin --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 45cfdb51..1b9bc40c 100644 --- a/Makefile.in +++ b/Makefile.in @@ -429,7 +429,7 @@ rdf_install install_rdf install_rdoff: $(MKDIR) $(DESTDIR)$(mandir)/man1 $(INSTALL_DATA) $(srcdir)/rdoff/*.1 $(DESTDIR)$(mandir)/man1/ -doc: +doc: doc/warnings.src $(MAKE) -C doc all doc_install install_doc: -- cgit v1.2.1