diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-26 21:08:23 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-26 21:08:23 +0000 |
| commit | 11d6215f265d0dbcfd0048819a614f318a0775a4 (patch) | |
| tree | 16b0450e4df7caaed57400d503044ca92f1f3c38 /doc/Makefile.extr | |
| parent | a5b8a41ef22618c69db62dfeb71d7f38bbba34e2 (diff) | |
| download | vericert-11d6215f265d0dbcfd0048819a614f318a0775a4.tar.gz vericert-11d6215f265d0dbcfd0048819a614f318a0775a4.zip | |
Add sphinx documentation
Diffstat (limited to 'doc/Makefile.extr')
| -rw-r--r-- | doc/Makefile.extr | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/doc/Makefile.extr b/doc/Makefile.extr new file mode 100644 index 0000000..9d4f361 --- /dev/null +++ b/doc/Makefile.extr @@ -0,0 +1,39 @@ +all: manual src man-html + +install-deps: + emacs --batch --load ./res/install-deps.el + +%.man: %.org + emacs --batch --file $< --load ./res/publish.el --funcall org-man-export-to-man + +%.html: %.org + emacs --batch --file $< --load ./res/publish.el --funcall org-html-export-to-html + +manual: + mkdir -p manual + emacs --batch --file documentation.org --load ./res/publish.el --funcall org-texinfo-export-to-texinfo + makeinfo --html --number-sections --no-split \ + --css-ref "https://www.gnu.org/software/emacs/manual.css" \ + vericert.texi -o ./manual/index.html + cp -r images ./manual/. + +man-html: man.html + mkdir -p man + cp man.html ./man/vericert.1.html + +vericert.1: man.man + cp $< $@ + +src: + $(MAKE) -C .. doc + cp -r ../html src + +upload: + tar caf docs.tar.xz manual man src + rsync docs.tar.xz "zk@leika.ymhg.org:~" + +.PHONY: all upload manual man src install-deps man-html + +clean: + rm -rf manual man src + rm -f docs.tar.xz |