File: Makefile

package info (click to toggle)
mlton 20041109-1
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 18,212 kB
  • ctags: 58,085
  • sloc: ansic: 10,386; makefile: 1,178; sh: 1,139; pascal: 256; asm: 97
file content (65 lines) | stat: -rw-r--r-- 1,273 bytes parent folder | download
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
TEX_FILES = \
	abstract.tex		\
	basis.tex		\
	bib.bib			\
	bugs.tex		\
	cm.tex			\
	compiling.tex		\
	credits.tex		\
	cross-compiling.tex	\
	cygwin.tex		\
	darwin.tex		\
	drawbacks.tex		\
	extensions.tex		\
	features.tex		\
	freebsd.tex		\
	ffi.tex			\
	getting-started.tex	\
	linux.tex		\
	macros.tex		\
	main.tex		\
	man-page.tex		\
	mingw.tex		\
	mlb.tex			\
	netbsd.tex		\
	nj-deviations.tex	\
	openbsd.tex		\
	platform.tex		\
	profiling.tex		\
	solaris.tex		\
	type-checking.tex

all:	main.ps main/index.html

main/index.html: $(TEX_FILES)
	mkdir -p main
	hevea -fix -o main/main.html -exec xxdate.exe macros.hva main.tex
	cd main && hacha main.html && rm -f main.html

# -verbosity 0  be quieter (but not quiet enough for my taste)
# -address ''	puts no author address at the bottom of each page

#main/main.html: $(TEX_FILES)
#	latex2html -long_titles 3 -verbosity 1 -address '' -local_icons main.tex
#	cd main && rm -f WARNINGS images.* *.pl
#	cd main && rm -f index.html && ln -s main.html index.html

main.dvi: $(TEX_FILES)
	latex main; bibtex main; latex main; latex main

main.pdf: $(TEX_FILES)
	latex main
	bibtex main
	latex main
	pdflatex main

main.ps: main.dvi
	dvips -o main.ps main

.PHONY: clean
clean:
	../../bin/clean

.PHONY: tags
tags:
	etags *.tex