diff options
Diffstat (limited to 'etc/Makefile.in')
| -rw-r--r-- | etc/Makefile.in | 29 |
1 files changed, 26 insertions, 3 deletions
diff --git a/etc/Makefile.in b/etc/Makefile.in index b99daf99b..df461cfd5 100644 --- a/etc/Makefile.in +++ b/etc/Makefile.in @@ -39,7 +39,10 @@ MAKEINFO = `if [ -f ../texinfo/makeinfo/makeinfo ]; \ TEXI2DVI = `if [ -f ../texinfo/util/texi2dvi ]; \ then echo ../texinfo/util/texi2dvi; \ else echo texi2dvi; fi` -TEXI2HTML = texi2html +TEXI2HTML = `if [ -f ../texinfo/makeinfo/makeinfo ]; \ + then echo "../texinfo/makeinfo/makeinfo --html"; \ + else echo "makeinfo --html"; fi` + DVIPS = dvips # Where to find texinfo.tex to format documentation with TeX. @@ -50,6 +53,7 @@ TEXIDIR = $(srcdir)/../texinfo INFOFILES = standards.info configure.info DVIFILES = standards.dvi configure.dvi +HTMLFILES = standards.html configure.html all: info install: install-info @@ -82,6 +86,18 @@ install-info: info done; \ fi +html: + for f in $(HTMLFILES); do \ + if test -f $(srcdir)/`echo $$f | sed -e 's/.html$$/.texi/'`; then \ + if $(MAKE) "TEXI2HTML=$(TEXI2HTML)" $$f; then \ + true; \ + else \ + exit 1; \ + fi; \ + fi; \ + done + + dvi: for f in $(DVIFILES); do \ if test -f $(srcdir)/`echo $$f | sed -e 's/.dvi$$/.texi/'`; then \ @@ -96,6 +112,9 @@ dvi: standards.info: $(srcdir)/standards.texi $(srcdir)/make-stds.texi $(MAKEINFO) --no-split -I$(srcdir) -o standards.info $(srcdir)/standards.texi +standards.html: $(srcdir)/standards.texi $(srcdir)/make-stds.texi + $(TEXI2HTML) --no-split -I$(srcdir) -o standards.html $(srcdir)/standards.texi + standards.dvi: $(srcdir)/standards.texi TEXINPUTS=$(TEXIDIR):$$TEXINPUTS $(TEXI2DVI) $(srcdir)/standards.texi @@ -131,12 +150,15 @@ configure.ps: configure.dvi $(srcdir)/configdev.ein $(srcdir)/configbuild.ein rm -f configdev.eps configbuild.eps configure.html: $(srcdir)/configure.texi - $(TEXI2HTML) -split_chapter $(srcdir)/configure.texi + cp $(srcdir)/configdev.jin configdev.jpg + cp $(srcdir)/configbuild.jin configbuild.jpg + $(TEXI2HTML) --no-split -I$(srcdir) -o configure.html $(srcdir)/configure.texi clean: rm -f *.aux *.cp *.cps *.dvi *.fn *.fns *.ky *.kys *.log rm -f *.pg *.pgs *.toc *.tp *.tps *.vr *.vrs - rm -f configdev.txt configbuild.txt configdev.eps configbuild.eps + rm -f configdev.txt configbuild.txt + rm -f configdev.eps configbuild.eps rm -f configdev.jpg configbuild.jpg mostlyclean: clean @@ -145,6 +167,7 @@ distclean: clean rm -f Makefile config.status config.cache maintainer-clean realclean: distclean + rm -f *.html* rm -f *.info* Makefile: $(srcdir)/Makefile.in $(host_makefile_frag) $(target_makefile_frag) |