diff options
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile index 7f083d5934..52c12aea6a 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -24,7 +24,7 @@ export subdir := $(subdir) # Allow override INSTALL_INFO = install-info -.PHONY: all dvi pdf info +.PHONY: all dvi pdf info html all: dvi dvi: libc.dvi pdf: libc.pdf @@ -76,6 +76,10 @@ chapters.% top-menu.%: libc-texinfo.sh $(texis) Makefile libc.dvi libc.pdf libc.info: chapters.texi top-menu.texi libm-err.texi libc.dvi libc.pdf: texinfo.tex +html: libc/index.html +libc/index.html: chapters.texi top-menu.texi libm-err.texi + $(MAKEINFO) --html libc.texinfo + # Generate the summary from the Texinfo source files for each chapter. summary.texi: stamp-summary ; stamp-summary: summary.awk $(filter-out summary.texi, $(texis)) |