Re: indent 2.2.10 and HTML docs

Santiago Vila wrote:
> Hello.
>
> indent-2.2.10 does not seem to have html docs in the doc directory, so
> texi2html is now required for the build. Is it intended to be that way?
>
> BTW: Is it going to appear on ftp.gnu.org? I'd like to see it in its
> "canonical" place as it's refenrenced by the debian copyright file.
>
> Thanks.
>
>
> _______________________________________________
> bug-indent mailing list
> [email protected]
> http://lists.gnu.org/mailman/listinfo/bug-indent
>
>
>   
Below are the contents of the doc directory in the 2.2.9 and 2.2.10 
releases of indent.
As you can see, both contain indent.html, which is the whole manual as a 
single page. Thus no changes on this front.

As you say, if other variants are desired, texi2html is needed.
The page-per-item manual is also available on the website 
indent.isidore-it.eu.

I have already requested the gnu people to put v2.2.10 on the gnu website.


 drwxrwxrwx     501/500           0 Dec 17  2002 indent-2.2.9/doc/    
 -rw-r--r--     501/500         101 Dec 16  2002 
indent-2.2.9/doc/version.texi
 -rw-r--r--     501/500        2438 Jan 22  2002 
indent-2.2.9/doc/Makefile.am
 -rw-r--r--     501/500         101 Dec 17  2002 indent-2.2.9/doc/stamp-vti
 -rw-r--r--     501/500      126769 Dec 16  2002 
*indent-2.2.9/doc/indent.html*
 -rw-r--r--     501/500       58994 Dec 16  2002 
indent-2.2.9/doc/indent.info
 -rw-r--r--     501/500       12542 Dec 17  2002 
indent-2.2.9/doc/Makefile.in
 -rw-r--r--     501/500       65074 Nov 10  2002 
indent-2.2.9/doc/indent.texinfo

 drwxrwxrwx     501/100           0 Mar 11 19:56 indent-2.2.10/doc/    
 -rw-r--r--     501/100       69475 Mar 11 19:50 
indent-2.2.10/doc/indent.texinfo
 -rw-r--r--     501/100          97 Mar 11 19:55 
indent-2.2.10/doc/version.texi
 -rw-r--r--     501/100          97 Mar 11 19:55 indent-2.2.10/doc/stamp-vti
 -rw-r--r--     501/100        2438 Mar 11 19:50 
indent-2.2.10/doc/Makefile.am
 -rw-r--r--     501/100      138659 Mar 11 19:55* 
indent-2.2.10/doc/indent.html*
 -rw-r--r--     501/100       67328 Mar 11 19:55 
indent-2.2.10/doc/indent.info
 -rw-r--r--     501/100       21526 Mar 11 19:54 
indent-2.2.10/doc/Makefile.in