gri/gri-2.12.23/doc

To update the SourceForge site:
 make gri.pdf
 make html-tar
 scp gri.pdf gridoc.tar.gz  dankelley@gri.sourceforge.net:/home/groups/g/gr/gri/htdocs
 ssh dankelley@gri.sourceforge.net
	cd /home/groups/g/gr/gri/htdocs
	\rm gridoc
	tar zxvf gridoc.tar.gz  # may have timestamp problems
	rm gridoc.tar.gz
	exit
 cd sourceforge
	sh ./INSTALL
Name		Date	Size	#Lines	LOC
..		03-May-2022	-
examples/	H	07-May-2022	-	3,519	3,299
resources/	H	03-May-2022	-	362	297
screenshots/	H	03-May-2022	-	389	297
tst_suite/	H	13-Jul-2011	-	1,534	1,351
HTML_subdivide	H A D	12-Dec-2009	8.2 KiB	218	177
Makefile.am	H A D	08-Jun-2010	8 KiB	231	172
Makefile.in	H A D	03-May-2022	32.2 KiB	930	781
README	H A D	12-Dec-2009	339	14	12
archive-to-html.pl	H A D	12-Dec-2009	1.4 KiB	71	59
cmdrefcard.tex	H A D	12-Dec-2009	22.7 KiB	903	541
gri-manpage-SunOS5.1	H A D	12-Dec-2009	3 KiB	120	105
gri-manpage-redhat.1	H A D	12-Dec-2009	1.8 KiB	80	65
gri-manpage.1	H A D	12-Dec-2009	2.8 KiB	123	98
gri.info	H A D	13-Jul-2011	9.7 KiB	376	373
gri.info-2	H A D	13-Jul-2011	265.7 KiB	7,187	5,437
gri.texi	H A D	03-May-2022	652.9 KiB	19,829	15,996
gri2html	H A D	12-Dec-2009	1.9 KiB	63	40
gri2texi	H A D	12-Dec-2009	1.3 KiB	39	32
gri_merge.1-skel	H A D	12-Dec-2009	1.5 KiB	58	53
gri_unpage.1-skel	H A D	12-Dec-2009	923	32	28
install-sh	H A D	12-Dec-2009	4.7 KiB	239	152
make_html_builtinindex	H A D	12-Dec-2009	809	31	23
make_html_commandindex	H A D	12-Dec-2009	875	32	23
make_html_index	H A D	12-Dec-2009	1.1 KiB	43	31
mdate-sh	H A D	12-Dec-2009	4.1 KiB	134	74
refcard.tex	H A D	12-Dec-2009	16.8 KiB	553	456
stamp-vti	H A D	06-Jul-2011	96	5	4
texinfo.tex	H A D	12-Dec-2009	217 KiB	6,774	6,171
texinfo2HTML	H A D	03-May-2022	12.4 KiB	488	390
version.texi	H A D	06-Jul-2011	96	5	4