File: Makefile

package info (click to toggle)
whizzytex 1.00iii-1
  • links: PTS
  • area: main
  • in suites: woody
  • size: 456 kB
  • ctags: 302
  • sloc: lisp: 2,114; sh: 882; makefile: 202
file content (13 lines) | stat: -rw-r--r-- 274 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
manual.dvi: manual.tex version.tex
	latex $<
	if grep 'LaTeX Warning: Label(s)' $*.log; then latex $<; fi

version.tex: ../VERSION
	echo '\def\version{'`cat $<`'}' > $@

clean:
	rm -f manual.{aux,log,dvi,dview,wiz,fmt}
	rm -f manual.{haux,htoc}
	rm -rf .advi
	rm -rf .waux