[hcoop/debian/mlton.git] / man / Makefile

## Copyright (C) 1999-2005 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.
 ##

all:

.PHONY: ps
ps: mllex.ps mlprof.ps mlton.ps

%.pdf: %.ps
	ps2pdf $<

%.ps: %.1
	man -t ./$< >$@

.PHONY: clean
clean:
	../bin/clean
Commit	Line	Data
7f918cf1 CE	1	## Copyright (C) 1999-2005 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	all:
	10
	11	.PHONY: ps
	12	ps: mllex.ps mlprof.ps mlton.ps
	13
	14	%.pdf: %.ps
	15	ps2pdf $<
	16
	17	%.ps: %.1
	18	man -t ./$< >$@
	19
	20	.PHONY: clean
	21	clean:
	22	../bin/clean