summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorjao <jao@gnu.org>2022-06-16 02:55:29 +0100
committerjao <jao@gnu.org>2022-06-16 02:55:29 +0100
commit115e1e39278e2ca32fa032b4d985eb6171935a83 (patch)
treec2119bacbc9f863fb6e4632d36fce81eb1077359 /doc
parent57637081c47e90a4a257fc5472d3cf49756bafde (diff)
downloadgeiser-115e1e39278e2ca32fa032b4d985eb6171935a83.tar.gz
geiser-115e1e39278e2ca32fa032b4d985eb6171935a83.tar.bz2
--no-code-files for web generation
Diffstat (limited to 'doc')
-rw-r--r--doc/makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/makefile b/doc/makefile
index fd25e55..fa15a66 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -23,6 +23,7 @@ web:
--css-include=$(CURDIR)/geiser.css \
--no-headers \
--no-number-sections \
+ --no-node-files \
--split=chapter \
$(CURDIR)/geiser.texi && \
cp -r $(CURDIR)/img ${output_dir}