diff options
| author | Case Duckworth <acdw@acdw.net> | 2022-01-31 23:52:14 -0600 |
|---|---|---|
| committer | Case Duckworth <acdw@acdw.net> | 2022-01-31 23:52:14 -0600 |
| commit | d2e4026d9de80ab6f23dd126810f96fb06a9cbbe (patch) | |
| tree | 96ef6722705fc7f40e0098f5f28c7f7386b870b5 /doc/makefile | |
| parent | f7d91d04e3fcca40268439e702cb6c4f5c90ab98 (diff) | |
| download | geiser-d2e4026d9de80ab6f23dd126810f96fb06a9cbbe.tar.gz geiser-d2e4026d9de80ab6f23dd126810f96fb06a9cbbe.tar.bz2 | |
Make info files as well
Diffstat (limited to 'doc/makefile')
| -rw-r--r-- | doc/makefile | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/doc/makefile b/doc/makefile index a192e00..6f48746 100644 --- a/doc/makefile +++ b/doc/makefile @@ -14,18 +14,24 @@ port ?= 8082 clean: rm -f $(output_dir)/*.html + rm -f *.info web: rm -f $(output_dir)/*.html texi2html --output=$(output_dir) \ - --split=chapter \ - --noheader \ - --nonumber-section \ - --init-file=$(top_srcdir)/doc/site.conf \ - --top-file=index.html \ - $(top_srcdir)/doc/web.texi + --split=chapter \ + --noheader \ + --nonumber-section \ + --init-file=$(top_srcdir)/doc/site.conf \ + --top-file=index.html \ + $(top_srcdir)/doc/web.texi cp $(top_srcdir)/doc/geiser.css ${output_dir} cp -r $(top_srcdir)/doc/img ${output_dir} http: web cd $(output_dir) && python -m http.server $(port) + +info: geiser.info dir + +%.info: %.texi + makeinfo --no-split $< -o $@ |