From 759b8b0cf97c21d897c0d1929421c803a6619bd1 Mon Sep 17 00:00:00 2001 From: Tom Willemsen Date: Sun, 6 Jan 2013 15:10:37 +0100 Subject: Add more documentation formats to Makefile `dvi', `pdf' and `ps' can be compiled/installed by explicitly specifying `make FORMAT' or `make install-FORMAT'. --- doc/Makefile | 30 +++++++++++++++++++++++++++++- 1 file changed, 29 insertions(+), 1 deletion(-) (limited to 'doc/Makefile') 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 -- cgit v1.3-2-g0d8e