[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: indent 2.2.10 and HTML docs
From: |
david |
Subject: |
Re: indent 2.2.10 and HTML docs |
Date: |
Sat, 05 Apr 2008 10:22:24 +0200 |
User-agent: |
Thunderbird 2.0.0.12 (X11/20080226) |
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
address@hidden
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