diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 30 |
1 files changed, 29 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 7e798bf..edb2998 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,6 +1,6 @@ DESTDIR ?= /usr/local -.PHONY: all +.PHONY: all html dvi pdf ps all: markam.info @@ -9,4 +9,32 @@ install: markam.info install-info --dir-file="$(DESTDIR)/share/info/dir" \ "$(DESTDIR)/share/info/markam.info" +install-dvi: markam.dvi + install -Dm 655 markam.dvi \ + "$(DESTDIR)/share/doc/markam/dvi/markam.dvi" + +install-pdf: markam.pdf + install -Dm 655 markam.pdf \ + "$(DESTDIR)/share/doc/markam/pdf/markam.pdf" + +install-ps: markam.ps + install -Dm 655 markam.ps \ + "$(DESTDIR)/share/doc/markam/ps/markam.ps" + markam.info: markam.texi + +html: markam.texi + makeinfo --html markam.texi -o html + +dvi: markam.dvi +pdf: markam.pdf +ps: markam.ps + +markam.dvi: markam.texi + texi2dvi markam.texi + +markam.pdf: markam.texi + texi2pdf markam.texi + +markam.ps: markam.dvi + dvips markam.dvi |