diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 465ca41..8dbfded 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -49,9 +49,9 @@ docs: $(TARGETS) # now for some extra dependencies that the automatic rules will not # catch: -html/book1.html rtf overview.pdf overview.ps overview.dvi overview.rtf overview.html: overview.sgml ref.sgml user.sgml +html/book1.html rtf overview.pdf overview.ps overview.dvi overview.rtf overview.html: overview.sgml ref.sgml user.sgml -html/book1.html: overview.sgml ref.sgml user.sgml +html/book1.html: overview.sgml ref.sgml user.sgml clean realclean distclean: rm -fr $(TARGETS) DBHTOHTML* html dejagnu.info* overview.junk overview overview.{aux,dvi,log,ps,pdf,tex} |