diff options
Diffstat (limited to 'support/TVS/TVS/docs/Makefile')
-rw-r--r-- | support/TVS/TVS/docs/Makefile | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/support/TVS/TVS/docs/Makefile b/support/TVS/TVS/docs/Makefile new file mode 100644 index 0000000000..a357c44ec7 --- /dev/null +++ b/support/TVS/TVS/docs/Makefile @@ -0,0 +1,31 @@ +# This makes documentation in various formats, clean deletes the garbage +# Part of the TVS software package +# $Id: Makefile,v 1.6 2000/05/08 13:56:14 antos Exp $ + +# Useful targets are all, tex, info, html, and clean. + +all: tex info html + +clean: + - rm tvs.cp* tvs.pg* tvs.fn* tvs.ky* tvs.vr* tvs.log tvs.aux tvs.tp* + +tex: texrun + make texidx + make texrun + dvips tvs.dvi -o tvs.ps + +texrun: + texinfo tvs.texi + +texidx: + texindex *.?? +init: + make all + xdvi tvs.dvi& + vi tvs.texi + +info: + makeinfo tvs.texi + +html: + - makeinfo --html tvs.texi |