diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-02-27 12:03:52 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-02-27 12:03:52 +0000 |
commit | 7dabf0b931036148fd7986d7d75624d81c07f146 (patch) | |
tree | 2386ef5978acbff5f95e0f63a4042bfd377fce59 /docs/Makefile | |
parent | 314e1178ccede8ed42cbfc14b68352a51dcd014b (diff) | |
download | vericert-7dabf0b931036148fd7986d7d75624d81c07f146.tar.gz vericert-7dabf0b931036148fd7986d7d75624d81c07f146.zip |
Update documentation generation
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile new file mode 100644 index 0000000..93083cd --- /dev/null +++ b/docs/Makefile @@ -0,0 +1,31 @@ +all: manual src man-html + +install-deps: + emacs --batch --load ./res/install-deps.el + +manual: + mkdir -p manual + emacs --batch --file documentation.org --load ./res/publish-manual.el + 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: + mkdir -p man + emacs --batch --file man.org --load ./res/publish-html.el + cp man.html ./man/vericert.1.html + +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 |