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