diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2019-03-18 21:58:02 +0100 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2019-03-18 21:58:02 +0100 |
commit | d83630a9ef8c0b313254e58eff8cc4b2331ee29d (patch) | |
tree | 852a133d724b45b2f066d5dd40d603b7d558853e /Makefile | |
parent | Wrote a bunch of documentation. (diff) | |
download | scheme-monad-d83630a9ef8c0b313254e58eff8cc4b2331ee29d.tar.gz scheme-monad-d83630a9ef8c0b313254e58eff8cc4b2331ee29d.tar.xz |
Add texinfo generation from source.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..c4e6aaa --- /dev/null +++ b/Makefile @@ -0,0 +1,23 @@ +.PHONY: all doc install install-doc clean + +INFODIR = /usr/local/share/info + +all: doc + +doc: monad.info + +%.info: %.texi + makeinfo $< + +monad.texi: monad.scm + ./gendoc.scm + +install: install-doc + +install-doc: monad.info + cp $< $(INFODIR) + install-info --info-dir=$(INFODIR) --info-file=$< + +clean: + -rm *.texi + -rm *.info |