Changing the name of the generated API doc files
- From: Daniel Veillard <veillard redhat com>
- To: GNOME Doc List <gnome-doc-list gnome org>
- Subject: Changing the name of the generated API doc files
- Date: Fri, 13 Jun 2003 07:54:27 -0400
I just noticed that generating the HTML doc files lead to new
file names, e.g. libxml2-257-uri.html instead of libxml2-uri.html
Please REVERT BACK this change or make it optional and deactivated
by default. First my web site is handled in CVS and I do not want
to change the filename each time I mahe a new release but more
importantly
COOL URL DO NOT CHANGE !!!
http://www.w3.org/Provider/Style/URI
This defeat caching, indexing, bookmarking and basically makes the
resource a shitty time dependant address.
I STRONGLY object to that change and want this fixed ASAP, really :-(
If not, I think I simply won't be able to continue using the GNOME
documentation toolchain.
I seriously doubt the change was at the DocBook level, so I assume
it's actually a gtk-doc bug,
Daniel
--
Daniel Veillard | Red Hat Network https://rhn.redhat.com/
veillard redhat com | libxml GNOME XML XSLT toolkit http://xmlsoft.org/
http://veillard.com/ | Rpmfind RPM search engine http://rpmfind.net/
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]