diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -239,14 +239,14 @@ xpdf: $(htmldir)slib.pdf xpdf $(htmldir)slib.pdf TEXI2HTML = /usr/local/bin/texi2html -split -verbose -$(htmldir)slib_toc.html: version.txi slib.texi $(txifiles) $(texifiles) +slib_toc.html: version.txi slib.texi $(txifiles) $(texifiles) ${TEXI2HTML} slib.texi html: $(htmldir)slib_toc.html -#$(htmldir)slib_toc.html: slib_toc.html Makefile -# -rm -f slib_stoc.html -# if [ -f $(PREVDOCS)slib_toc.html ]; \ -# then hitch $(PREVDOCS)slib_\*.html slib_\*.html $(htmldir); \ -#p else cp slib_*.html $(htmldir);fi +$(htmldir)slib_toc.html: slib_toc.html Makefile + -rm -f slib_stoc.html + if [ -f $(PREVDOCS)slib_toc.html ]; \ + then hitch $(PREVDOCS)slib_\*.html slib_\*.html $(htmldir); \ + else cp slib_*.html $(htmldir);fi slib-$(VERSION).info: version.txi slib.texi $(txifiles) $(texifiles) makeinfo slib.texi --no-warn --no-split -o slib.info |