blob: 0e3f42c871d8d8f255bf200da1bb3bbebc621044 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
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: gitto.info
install: gitto.info
$(INSTALL_DATA) gitto.info "$(DESTDIR)/share/info/gitto.info"
$(INSTALL_INFO) --dir-file="$(DESTDIR)/share/info/dir" \
"$(DESTDIR)/share/info/gitto.info"
uninstall:
$(INSTALL_INFO) --dir-file="$(DESTDIR)/share/info/dir" \
--delete "$(DESTDIR)/share/info/gitto.info"
rm -f "$(DESTDIR)/share/info/gitto.info"
rm -f "$(DESTDIR)/share/doc/gitto/dvi/gitto.dvi"
rm -f "$(DESTDIR)/share/doc/gitto/pdf/gitto.pdf"
rm -f "$(DESTDIR)/share/doc/gitto/ps/gitto.ps"
rm -rf "$(DESTDIR)/share/doc/gitto/html/"
install-dvi: gitto.dvi
$(INSTALL_DATA) gitto.dvi \
"$(DESTDIR)/share/doc/gitto/dvi/gitto.dvi"
install-pdf: gitto.pdf
$(INSTALL_DATA) gitto.pdf \
"$(DESTDIR)/share/doc/gitto/pdf/gitto.pdf"
install-ps: gitto.ps
$(INSTALL_DATA) gitto.ps \
"$(DESTDIR)/share/doc/gitto/ps/gitto.ps"
gitto.info: gitto.texi
html: gitto.texi
$(MAKEINFO) --html gitto.texi -o html
dvi: gitto.dvi
pdf: gitto.pdf
ps: gitto.ps
gitto.dvi: gitto.texi
$(TEXI2DVI) gitto.texi
gitto.pdf: gitto.texi
$(TEXI2PDF) gitto.texi
gitto.ps: gitto.dvi
$(DVIPS) gitto.dvi
|