diff options
| -rw-r--r-- | Doc/html/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Doc/html/Makefile b/Doc/html/Makefile index 29561c8..0fafaf4 100644 --- a/Doc/html/Makefile +++ b/Doc/html/Makefile @@ -20,6 +20,9 @@ KPSEWHICH= TEXINPUTS=$(TEXINPUTS) kpsewhich tex BUILDINDEX= $(TOOLSDIR)/buildindex.py +# make it clear to l2h, since our support only generates HTML 4.0 +L2HARGS= -html_version 4.0 + INDEXFILES=api/api.html \ ext/ext.html \ lib/lib.html \ |