3 #
4
5 ## targets
6
7 default: dvi
8 dist: dvi
9
8
10
11 ## dependencies
10 ## dependencies
12
11
13 include ../Makefile.in
12 include ../Makefile.in