summaryrefslogtreecommitdiff
path: root/support/TVS/TVS/docs/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'support/TVS/TVS/docs/Makefile')
-rw-r--r--support/TVS/TVS/docs/Makefile31
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