Karl Berry wrote: > 2007-12-30 Karl Berry <[EMAIL PROTECTED]> > * doc/gnulib.texi (Library vs. Reusable Code): remove period, to > work around defect in Texinfo and/or the standalone Info browser. > > Rationale: this is simply the most expedient way to work around the > present suboptimal situation wrt to periods in Texinfo node names.
Thanks for explaining. But the section name is not constrained; and in texi2html output, the section names are visible and the node names are invisible. Therefore the section name is better not mutilated, I think: 2008-01-07 Bruno Haible <[EMAIL PROTECTED]> * doc/gnulib-intro.texi (Library vs Reusable Code): Restore the previous section name. *** doc/gnulib-intro.texi.orig 2008-01-08 02:19:38.000000000 +0100 --- doc/gnulib-intro.texi 2008-01-08 02:17:27.000000000 +0100 *************** *** 1,5 **** @node Library vs Reusable Code ! @section Library vs Reusable Code Classical libraries are installed as binary object code. Gnulib is different: It is used as a source code library. Each package that uses --- 1,5 ---- @node Library vs Reusable Code ! @section Library vs. Reusable Code Classical libraries are installed as binary object code. Gnulib is different: It is used as a source code library. Each package that uses