diff options
| -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) |