diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -240,14 +240,14 @@ xpdf: $(htmldir)slib.pdf xpdf $(htmldir)slib.pdf TEXI2HTML = /usr/local/bin/texi2html -split -verbose -slib_toc.html: version.txi slib.texi $(txifiles) $(texifiles) +$(htmldir)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); \ - 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 |