File: Makefile

package info (click to toggle)
eukleides 1.5.4-4.3
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 880 kB
  • sloc: ansic: 6,962; yacc: 1,780; makefile: 304; lex: 208; sh: 134; perl: 43
file content (90 lines) | stat: -rw-r--r-- 1,992 bytes parent folder | download | duplicates (5)
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
# Eukleides documentation makefile
# Copyright (c) Christian Obrecht 2004-2010

include ../Config

MAKEHTML = makeinfo --no-validate --html --force
TEXI = eukleides.texi
CSS = eukleides.css

documentation: $(DOC)

info: eukleides.info

eukleides.info: $(TEXI)
	@echo "    Building info pages"
	@makeinfo $<

eukleides.info.gz: eukleides.info
	@gzip -c $< > $@

pdf: eukleides.pdf

eukleides.pdf: $(TEXI)
	@echo "    Building manual in PDF"
ifeq ($(PAPER),A4)
	@texi2pdf --texinfo=@afourpaper $< > /dev/null
else
	@texi2pdf $< > /dev/null
endif

ifeq ($(HTML),split)
html: manual/index.html
else
html: eukleides.html
endif

manual/index.html: $(TEXI)
	@echo "    Building manual in HTML format"
	@$(MAKEHTML) --css-ref=$(CSS) --output=manual $< && cp $(CSS) manual

eukleides.html: $(TEXI)
	@echo "    Building manual in HTML format"
	@$(MAKEHTML) --no-split --no-headers --css-include=$(CSS) \
		    --output=eukleides.html $<

INST_TARG := $(addprefix install_, $(DOC))

install:
#install: $(INST_TARG)

install_info: eukleides.info.gz
	@echo "    Installing info pages"
	@install -d $(INFO_DIR)
	@ginstall-info --quiet $< $(INFO_DIR)/dir
	@install -m 0644 $< $(INFO_DIR)

install_pdf: pdf
	@echo "    Installing manual in PDF"
	@install -d $(DOC_DIR)
	@install -m 0644 eukleides.pdf $(DOC_DIR)

ifeq ($(HTML),split)
install_html: install_split
else
install_html: install_nosplit
endif

install_split: html
	@echo "    Installing manual in HTML format"
	@install -d $(DOC_DIR)
	@install -d $(DOC_DIR)/manual
	@install -m 0644 manual/* $(DOC_DIR)/manual

install_nosplit: html
	@echo "    Installing manual in HTML format"
	@install -d $(DOC_DIR)
	@install -m 0644 eukleides.html $(DOC_DIR)

uninstall:
	@$(RM) -r $(DOC_DIR)
ifneq ($(findstring info,$(DOC)),)
	@ginstall-info --quiet --remove eukleides $(INFO_DIR)/dir
	@$(RM) $(INFO_DIR)/eukleides.info.gz
endif

tidy:
	@$(RM) eukleides.{aux,cp,cps,fn,fns,ky,log,pg,toc,tp,vr}

clean: tidy
	@$(RM) eukleides.{info,info.gz,pdf,html} manual/*