Added support files necessary to generate the documentation.

wainstead · Oct 8, 2011 · 5a56c49 · 5a56c49
1 parent ff5ecc1
commit 5a56c49
Show file tree

Hide file tree

Showing 3 changed files with 9,957 additions and 0 deletions.
diff --git a/Makefile.in b/Makefile.in
@@ -26,6 +26,11 @@ CFLAGS = -O
 # upgrade).
 # CFLAGS = -O2 -Dinline=
 
+MI_OPTS = --fill-column 79 --no-split
+
+DOCS = ProgrammersManual.txt ProgrammersManual.html ProgrammersManual.info \
+	ProgrammersManual.dvi ProgrammersManual.pdf ProgrammersManual.ps
+
 YFLAGS = -d
 COMPILE.c = $(CC) $(CFLAGS) $(CPPFLAGS) -c
 
@@ -101,6 +106,54 @@ client_bsd: client_bsd.o
 client_sysv: client_sysv.o
 	$(CC) $(CFLAGS) client_sysv.o $(LIBRARIES) -o $@
 
+doc: ${DOCS}
+
+info: ProgrammersManual.info
+ProgrammersManual.info: ProgrammersManual.texinfo
+	makeinfo ${MI_OPTS} -D INFO -D INDEX ProgrammersManual.texinfo
+
+txt: ProgrammersManual.txt
+ProgrammersManual.txt: ProgrammersManual.tex-no-info
+	makeinfo ${MI_OPTS} ProgrammersManual.tex-no-info
+
+# ought to be
+#ProgrammersManual.txt: ProgrammersManual.texinfo
+#	makeinfo ${MI_OPTS} -D INDEX --no-headers ProgrammersManual.texinfo > ProgrammersManual.txt
+
+ProgrammersManual.tex-no-info: ProgrammersManual.texinfo
+	sed -e '/^@node/d' \
+	    -e '/^@set INDEX/d' \
+	    -e '/^@menu/,/^@end menu/d' \
+	    -e '/^@setfilename/s/info/txt/' \
+	    -e 's/@ref{\([^,}]*,\)*\([^}]*\)}/the section "\2"/' \
+	    -e 's/@pxref{\([^,}]*,\)*\([^}]*\)}/see the section "\2"/' \
+	    -e 's/@xref{\([^,}]*,\)*\([^}]*\)}/See the section "\2"/' \
+	    < ProgrammersManual.texinfo > ProgrammersManual.tex-no-info
+
+ps: ProgrammersManual.ps
+ProgrammersManual.ps: ProgrammersManual.dvi
+	dvips ProgrammersManual.dvi > ProgrammersManual.ps
+
+dvi: ProgrammersManual.dvi
+ProgrammersManual.dvi: ProgrammersManual.texinfo
+	tex ProgrammersManual.texinfo
+	texindex ProgrammersManual.fn
+	tex ProgrammersManual.texinfo
+
+pdf: ProgrammersManual.pdf
+ProgrammersManual.pdf: ProgrammersManual.texinfo
+	texi2pdf --clean --batch ProgrammersManual.texinfo
+
+html: ProgrammersManual.html
+ProgrammersManual.html: ProgrammersManual.texinfo
+	texi2html -menu -split none -init_file t2hinit.pl -expand info ProgrammersManual.texinfo
+
+%.Z: %
+	compress -c $< > $@
+
+%.gz: %
+	gzip -c $< > $@
+
 # This rule gets around some "make"s' desire to `derive' it from `restart.sh'.
 restart:
 	touch restart
@@ -149,9 +202,18 @@ tags:
 
 clean:
 	rm -f $(OBJS) $(OPT_NET_OBJS) core parser.c y.tab.c y.tab.h y.output makedep eddep
+	rm -f *~ ProgrammersManual.tex-no-info
+	rm -f ProgrammersManual.cp ProgrammersManual.fn ProgrammersManual.ky
+	rm -f ProgrammersManual.pg ProgrammersManual.tp ProgrammersManual.vr
+	rm -f ProgrammersManual.log ProgrammersManual.aux ProgrammersManual.toc
+	rm -f ProgrammersManual.fns
+	rm -f ProgrammersManual.tmp
 
 distclean:	clean
 	rm -f config.h Makefile config.status
+	rm -f ProgrammersManual.dvi* ProgrammersManual.p* ProgrammersManual.i*
+	rm -f ProgrammersManual.txt
+	rm -f ProgrammersManual.html
 
 depend: ${ALL_CSRCS}
 	rm -f eddep makedep

diff --git a/t2hinit.pl b/t2hinit.pl
@@ -0,0 +1,23 @@
+# use warnings;
+
+# How to make texi2html put extra stuff into the <HEAD> portions of
+# all of the html files.  I hope this file can be replaced by a
+# commandline flag in the not-too-distant future.  --wrog
+
+*T2H_InitGlobals_orig = \&T2H_InitGlobals;
+
+*T2H_InitGlobals = sub {
+   &T2H_InitGlobals_orig;
+   $T2H_EXTRA_HEAD = '<link rel="stylesheet" href="common.css" type="text/css">';
+}
+
+
+# $Id: t2hinit.pl,v 1.2 2004/06/02 08:09:46 wrog Exp $
+
+# $Log: t2hinit.pl,v $
+# Revision 1.2  2004/06/02 08:09:46  wrog
+# I guess we don't need warnings yet
+#
+# Revision 1.1  2004/06/02 08:02:45  wrog
+# initial version
+#