From 080bb351b87fe6b8bc823ffccae535c8e4cd2679 Mon Sep 17 00:00:00 2001 From: Tom Willemsen Date: Sat, 23 Mar 2013 01:00:14 +0100 Subject: Add some docs --- doc/Makefile | 73 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 73 insertions(+) create mode 100644 doc/Makefile (limited to 'doc/Makefile') diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..16a59f6 --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,73 @@ +# Copyright (C) 2013 Tom Willemsen +# +# This file is part of CLark +# +# CLark is free software: you can redistribute it and/or modify it +# under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. +# +# CLark is distributed in the hope that it will be useful, but +# WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +# General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with CLark. If not, see . + +DESTDIR ?= /usr/local +INSTALL_INFO = install-info +TEXI2PDF = texi2pdf +DVIPS = dvips + +.PHONY: all html dvi pdf ps install uninstall install-dvi install-pdf \ + install-ps + +all: clark.info + +install: clark.info + $(INSTALL_DATA) clark.info "$(DESTDIR)/share/info/clark.info" + $(INSTALL_INFO) --dir-file="$(DESTDIR)/share/info/dir" \ + "$(DESTDIR)/share/info/clark.info" + +install-strip: + $(MAKE) install + +uninstall: + $(INSTALL_INFO) --dir-file="$(DESTDIR)/share/info/dir" \ + --delete "$(DESTDIR)/share/info/clark.info" + rm -f "$(DESTDIR)/share/info/clark.info" + rm -f "$(DESTDIR)/share/doc/clark/dvi/clark.dvi" + rm -f "$(DESTDIR)/share/doc/clark/pdf/clark.pdf" + rm -f "$(DESTDIR)/share/doc/clark/ps/clark.ps" + rm -rf "$(DESTDIR)/share/doc/clark/html/" + +install-dvi: clark.dvi + $(INSTALL_DATA) clark.dvi \ + "$(DESTDIR)/share/doc/clark/dvi/clark.dvi" + +install-pdf: clark.pdf + $(INSTALL_DATA) clark.pdf \ + "$(DESTDIR)/share/doc/clark/pdf/clark.pdf" + +install-ps: clark.ps + $(INSTALL_DATA) clark.ps \ + "$(DESTDIR)/share/doc/clark/ps/clark.ps" + +clark.info: clark.texi + +html: clark.texi + $(MAKEINFO) --html clark.texi -o html + +dvi: clark.dvi +pdf: clark.pdf +ps: clark.ps + +clark.dvi: clark.texi + $(TEXI2DVI) clark.texi + +clark.pdf: clark.texi + $(TEXI2PDF) clark.texi + +clark.ps: clark.dvi + $(DVIPS) clark.dvi -- cgit v1.2.3-54-g00ecf