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
|
# =====================================================================
# Makefile for the hol manual
# =====================================================================
default:
@echo "INSTRUCTIONS:"
@echo ""
@echo "1) type \"make reference\" to make only REFERENCE, or"
@echo ""
@echo "2) type \"make description\" to make only DESCRIPTION, or"
@echo ""
@echo "3) type \"make tutorial\" to make only TUTORIAL, or"
@echo ""
@echo "4) type \"make libraries\" to make only LIBRARIES, or"
@echo ""
@echo "5) type \"make covers\" to make fancy cover pages, or"
@echo ""
@echo "6) type \"make all\" to create the entire manual."
tutorial:
(cd Tutorial; make all; cd ..)
@echo "====> TUTORIAL made"
description:
(cd Description; make all; cd ..)
@echo "====> DESCRIPTION made"
reference:
(cd Reference; make all; cd ..)
@echo "====> REFERENCE made"
libraries:
(cd Libraries; make all; cd ..)
@echo "====> LIBRARIES made"
covers:
(cd Covers; make all; cd ..)
@echo "====> Fancy covers made"
all:
make tutorial;make description; make reference;make libraries;make covers
@echo "=======> MANUAL made"
clean:
for i in Tutorial Description Reference Libraries Covers ; do $(MAKE) -C $$i clean ; done
|
