Re: manual page uncluttering

At 12.40 25/01/03 +0100, Gabor Hojtsy wrote: >>>1. Put language listing into a dropdown, not a link list. >>+1 for me, and while we are at this: why dont change the names >> of the various languages to those in that language (i.e.: 'italian' >> would become 'italiano' and 'german' would become 'deutsch')? >>what do you think? > >Well, that name list is something we use at every place. Now that language name list is used to: > > - print out available languages at docs.php and download-docs.php > - print out language switch information on all manual pages > - print out mirror language information on mirrors.php > - it is also remotely included in the mirror administration page Ok, my fault. I underestimated these problems. And this would be too much work for too little improvement. -- Simone Cortesi http://cortesi.com/ blog * photos * PHP in italian did I help you? http://cortesi.com/wishlist.php