diff options
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
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: |