aboutsummaryrefslogtreecommitdiff
path: root/manual/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'manual/Makefile')
-rw-r--r--manual/Makefile6
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))