diff options
| author | Thanos Apollo <[email protected]> | 2024-01-27 10:04:47 +0200 |
|---|---|---|
| committer | Thanos Apollo <[email protected]> | 2024-01-27 11:31:32 +0200 |
| commit | c551dcccc002bde25b2d2348d70e6634b8f01329 (patch) | |
| tree | ea1b6ee5d192b4bce786c7d64317afdbb69ca380 | |
| parent | 211706458b81ea3d2aafa2d58d2c4fe2f97e5a60 (diff) | |
Add Makefile to generate docs
| -rw-r--r-- | Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..4ee28ad --- /dev/null +++ b/Makefile @@ -0,0 +1,20 @@ +.POSIX: +.PHONY: all doc clean +.SUFFIXES: .el .elc + +EMACS = emacs +ORG := doc/gnosis.org +TEXI := doc/gnosis.texi +INFO := doc/gnosis.info + + +all: doc + +doc: $(ORG) + $(EMACS) --batch \ + --load org \ + --eval "(with-current-buffer (find-file \"$(ORG)\") (org-texinfo-export-to-texinfo) (org-texinfo-export-to-info) (save-buffer))" \ + --kill + +clean: + rm -f $(TEXI) $(INFO) |