summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile20
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)