Added to repository.  These are generated files, but it's convenient to have them in the
repository, in case users haven't installed Texinfo, TeX, etc.
Added to repository.  These are generated files, but it's convenient to have them in the
repository, in case users haven't installed Texinfo, TeX, etc.
Working on manual.
Added to repository.  This is a generate file, but it's convenient to have it in the
repository, in case users haven't installed Texinfo, TeX, etc.