File: Makefile

package info (click to toggle)
gap 4r4p10-2
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 29,224 kB
  • ctags: 7,084
  • sloc: ansic: 98,591; sh: 3,284; perl: 2,263; makefile: 467; awk: 6
file content (65 lines) | stat: -rw-r--r-- 1,634 bytes parent folder | download | duplicates (2)
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
#############################################################################
##
#W  Makefile                    GAP autodoc                  Alexander Hulpke
##
#H  @(#)$Id: Makefile,v 1.8 2003/11/17 22:36:13 gap Exp $
##
#Y  (C) 1998 School Math and Comp. Sci., University of St.  Andrews, Scotland
##
BUILD = ../../etc/convert.pl -u
BUILDIE = ../../etc/convert.pl -t

default: all

all: ref/chapters.htm ext/chapters.htm tut/chapters.htm prg/chapters.htm new/chapters.htm\
	theindex.htm

ref/chapters.htm: ../ref/manual.dvi ../../etc/convert.pl
	$(BUILD) -c ../ref ref

ext/chapters.htm: ../ext/manual.dvi ../../etc/convert.pl
	$(BUILD) -c ../ext ext

tut/chapters.htm: ../tut/manual.dvi ../../etc/convert.pl
	$(BUILD) -c ../tut tut

prg/chapters.htm: ../prg/manual.dvi ../../etc/convert.pl
	$(BUILD) -c ../prg prg

new/chapters.htm: ../new/manual.dvi ../../etc/convert.pl
	$(BUILD) -c ../new new

theindex.htm: ref/chapters.htm tut/chapters.htm ext/chapters.htm \
	prg/chapters.htm new/chapters.htm ../../etc/convert.pl
	chmod 755 allhtmlindex
	chmod 755 onehtmlindex
	./allhtmlindex

../ref/manual.dvi:
	(cd ../ref;tex manual)

../ext/manual.dvi:
	(cd ../ext;tex manual)

../tut/manual.dvi:
	(cd ../tut;tex manual)

../prg/manual.dvi:
	(cd ../prg;tex manual)

../new/manual.dvi:
	(cd ../new;tex manual)

ieversion: ../tut/manual.dvi ../ref/manual.dvi ../ext/manual.dvi ../prg/manual.dvi ../new/manual.dvi
	$(BUILDIE) -c ../tut tut
	$(BUILDIE) -c ../ref ref
	$(BUILDIE) -c ../ext ext
	$(BUILDIE) -c ../prg prg
	$(BUILDIE) -c ../new new
	./allhtmlindex

clean:
	rm -f indx*.htm ref/*.htm tut/*.htm prg/*.htm ext/*.htm new/*.htm