Added script to generate HTML versions.
tree2fa31d58703ebae557819ba5c995eb290b4c0b1f
-rw-r--r-- 36 .gitignore
-rw-r--r-- 28733 CVS2git.tex
-rw-r--r-- 43 allowed-goups
-rw-r--r-- 221 allowed-users
-rwxr-xr-x 246 git-optimize.sh
-rw-r--r-- 48816 git_guide.tex
-rwxr-xr-x 142 mkhtml.sh
-rw-r--r-- 2685 mydoc.sty
-rwxr-xr-x 4545 update