diff options
| author | jao <jao@gnu.org> | 2022-06-16 02:55:29 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-06-16 02:55:29 +0100 |
| commit | 115e1e39278e2ca32fa032b4d985eb6171935a83 (patch) | |
| tree | c2119bacbc9f863fb6e4632d36fce81eb1077359 | |
| parent | 57637081c47e90a4a257fc5472d3cf49756bafde (diff) | |
| download | geiser-115e1e39278e2ca32fa032b4d985eb6171935a83.tar.gz geiser-115e1e39278e2ca32fa032b4d985eb6171935a83.tar.bz2 | |
--no-code-files for web generation
| -rw-r--r-- | doc/makefile | 1 |
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} |