[hcoop/debian/mlton.git] / doc / style-guide / Makefile

## Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
 #    Jagannathan, and Stephen Weeks.
 # Copyright (C) 1997-2000 NEC Research Institute.
 #
 # MLton is released under a BSD-style license.
 # See the file MLton-LICENSE for details.
 ##

TEX_FILES := \
	abstract.tex		\
	main.tex		\
	macros.tex		\

FIG_FILES := \

all:	main.ps

# -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 -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) $(FIG_FILES)
	latex main; bibtex main; latex main; latex main

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

%.ps: %.fig
	fig2dev -Leps $< $@

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

.PHONY: tags
tags:
	etags *.tex
Commit	Line	Data
7f918cf1 CE	1	## Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
	2	# Jagannathan, and Stephen Weeks.
	3	# Copyright (C) 1997-2000 NEC Research Institute.
	4	#
	5	# MLton is released under a BSD-style license.
	6	# See the file MLton-LICENSE for details.
	7	##
	8
	9	TEX_FILES := \
	10	abstract.tex \
	11	main.tex \
	12	macros.tex \
	13
	14	FIG_FILES := \
	15
	16	all: main.ps
	17
	18	# -verbosity 0 be quieter (but not quiet enough for my taste)
	19	# -address '' puts no author address at the bottom of each page
	20
	21	main/main.html: $(TEX_FILES)
	22	latex2html -verbosity 1 -address '' -local_icons main.tex
	23	cd main && rm -f WARNINGS images.* *.pl
	24	cd main && rm -f index.html && ln -s main.html index.html
	25
	26	main.dvi: $(TEX_FILES) $(FIG_FILES)
	27	latex main; bibtex main; latex main; latex main
	28
	29	main.ps: main.dvi
	30	dvips -o main.ps main
	31
	32	%.ps: %.fig
	33	fig2dev -Leps $< $@
	34
	35	.PHONY: clean
	36	clean:
	37	../../bin/clean
	38
	39	.PHONY: tags
	40	tags:
	41	etags *.tex