diff options
author | Jouke Witteveen <j.witteveen@gmail.com> | 2012-04-03 00:24:04 +0200 |
---|---|---|
committer | Jouke Witteveen <j.witteveen@gmail.com> | 2012-04-03 00:24:04 +0200 |
commit | ca517902901fc357e9145141fdd477d13fb51c68 (patch) | |
tree | 5ce6faac20868d8b216c2038d8db4e051371f7cf /docs | |
parent | 7223c92b843fc232ebe687cb806051ceab31bfff (diff) | |
download | netctl-ca517902901fc357e9145141fdd477d13fb51c68.tar.gz netctl-ca517902901fc357e9145141fdd477d13fb51c68.tar.xz |
Leave out javascript in html documentation
This shaves a few kilobytes.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |