
# type make manual to tex the manual. This will create a users.dvi with a 
# table of contents at the end, plus a separate index.dvi, which you must 
# then print separately.

all:	manual

manual:	users.tex index.tex
	tex users;rm -f users.std;sort -f users.idx > users.std;\
	tex index;rm -f users.idx

clean:	
	rm -f users.log users.dvi users.std users.idx users.toc index.log index.dvi
