diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:09:26 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:09:26 +0000 |
| commit | a7a8e4481bce810d077ea682b8379535a20931c9 (patch) | |
| tree | 689fb687749a79f616379205304e2d605aab7a69 /docs/Makefile | |
| parent | a1c958a50129342aeccf38e0e591bed6c394cf74 (diff) | |
| download | vericert-a7a8e4481bce810d077ea682b8379535a20931c9.tar.gz vericert-a7a8e4481bce810d077ea682b8379535a20931c9.zip | |
Update documentation files
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/docs/Makefile b/docs/Makefile index 93083cd..9d4f361 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -3,19 +3,27 @@ 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-manual.el + 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: man.html mkdir -p man - emacs --batch --file man.org --load ./res/publish-html.el cp man.html ./man/vericert.1.html +vericert.1: man.man + cp $< $@ + src: $(MAKE) -C .. doc cp -r ../html src |