# this isn't a standard GNU/960 Makefile, and probably won't work on your
# system - it is for formatting and printing TeX manual pages.  If you don't
# have TeX, use the Postscript version left in this directory, otherwise,
# you're out of luck.


gdb.ps: gdb.texinfo
	tex gdb.texinfo
	-dvi2ps gdb.dvi > gdb.ps

clean:
	-rm -f *.aux *.cp *.dvi *.fn *.fns *.log *.pg *.toc *.tocs *.tp *.vr

