summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorThanos Apollo <[email protected]>2024-01-27 10:04:47 +0200
committerThanos Apollo <[email protected]>2024-01-27 11:31:32 +0200
commitc551dcccc002bde25b2d2348d70e6634b8f01329 (patch)
treeea1b6ee5d192b4bce786c7d64317afdbb69ca380 /Makefile
parent211706458b81ea3d2aafa2d58d2c4fe2f97e5a60 (diff)
Add Makefile to generate docs
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)