summaryrefslogtreecommitdiff
path: root/web/noweb/contrib/jonkrom/Makefile
blob: 12485906bcaf902f575e6371d2c17805fd89502e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
LIB=/dev/null	# override for installation
SHELL=/bin/sh
all: noxref.krom
	chmod +x noxref.krom

install:
	cp noxref.krom $(LIB)

source: noxref.krom

noxref.krom: noxref.nw
	notangle -Rnoxref noxref.nw > noxref.krom

clean:
	/bin/rm -f *.tex *.dvi *.ilg *.idx *.aux *.log *.blg *.bbl *~ *.ind noxref.krom