diff options
| author |  Tom Willemsen | 2013-01-06 15:10:37 +0100 |
|---|---|---|
| committer | Tom Willemsen | 2013-01-06 15:10:37 +0100 |
| commit | 759b8b0cf97c21d897c0d1929421c803a6619bd1 (patch) | |
| tree | 670fbe5bba355a9ff78d806e02934556fa19b90f /doc/Makefile | |
| parent | 58a7c046d22579cc5156fb34429e5ea7ea5a5526 (diff) | |
| download | markam-759b8b0cf97c21d897c0d1929421c803a6619bd1.tar.gz markam-759b8b0cf97c21d897c0d1929421c803a6619bd1.zip | |
Add more documentation formats to Makefile
`dvi', `pdf' and `ps' can be compiled/installed by explicitly
specifying `make FORMAT' or `make install-FORMAT'.
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 |