From ca517902901fc357e9145141fdd477d13fb51c68 Mon Sep 17 00:00:00 2001 From: Jouke Witteveen Date: Tue, 3 Apr 2012 00:24:04 +0200 Subject: Leave out javascript in html documentation This shaves a few kilobytes. --- docs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/Makefile') diff --git a/docs/Makefile b/docs/Makefile index 5e434a3..f8671f6 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -11,7 +11,7 @@ $(MANPAGES): %: %.txt footer.txt a2x -d manpage -f manpage -a manversion=$(VERSION) $< $(WEBPAGES): %.html: %.txt - asciidoc -a version=$(VERSION) $< + asciidoc -a disable-javascript -a version=$(VERSION) $< clean: -@rm -vf $(MANPAGES) $(WEBPAGES) 2>/dev/null -- cgit v1.2.3-24-g4f1b