I have installed a new version of pl2texi. Mainly user-reported bug fixes but also some new functionality. These are the most important changes:

- Fixed -modes option, which was broken since going to the new normalizer (was normalizer problem). This should affect (pistively) several of the manuals.

- Now a warning is issued if characters unsupported by info are used in section names.

- A background can now be specified for the @tt{html} manuals (needs a modified version of @apl{texi2html} included with the @apl{pl2texi} library). Navigation in html docs improved by moving the location of indexing commands in texinfo files up a bit.

- Made more silent in normal conditions: file inclusion reports (e.g., when interpreting an @include command) are now muted unless @tt{-v} option is selected.

- A @tt{-u} @em{File} option is now supported so that a file including path alias definitions can be included (this has the same functionality as the @tt{-u} option in @apl{ciaoc}).

And this is the complete list of changes:

:- comment(version(1*8+32,1999/04/22,03:10*55+'CEST'), "Fixed @tt{-modes}, which was broken since going to the new normalizer (was normalizer problem). (Manuel Hermenegildo)").

:- comment(version(1*8+31,1999/04/22,03:10*19+'CEST'), "Fixed problem with no documentation when only modes given. (Manuel Hermenegildo)").

:- comment(version(1*8+31,1999/04/22,03:10*19+'CEST'), "Fixed problem with no documentation when only modes given. (Manuel Hermenegildo)").

:- comment(version(1*8+30,1999/04/21,13:13*08+'CEST'), "Fixed duplication of internals when also exported. (Manuel Hermenegildo)").

:- comment(version(1*8+29,1999/04/21,12:42*32+'CEST'), "Several improvements in the behaviour for user files. Still, this really needs to be fixed in @lib{c_itf}. (Manuel Hermenegildo)").

:- comment(version(1*8+28,1999/04/21,10:40*55+'CEST'), "Eliminated unnecessary loading of iso_byte_char and dcg_expansion. (Manuel Hermenegildo)").

:- comment(version(1*8+27,1999/04/12,15:06*23+'MEST'), "Now a warning is issued if characters unsupported by info are used in section names. (Manuel Hermenegildo)").

:- comment(version(1*8+26,1999/04/12,12:29*34+'MEST'), "Navigation in html docs improved by moving the location of indexing commands in texinfo files up a bit. (Manuel Hermenegildo)").

:- comment(version(1*8+25,1999/04/08,21:53*35+'MEST'), "Made more silent in normal conditions: file inclusion is muted now unless @tt{-v} option is selected. (Manuel Hermenegildo)").

:- comment(version(1*8+24,1999/04/08,21:18*27+'MEST'), "Changed a bit the format of the bullets. (Manuel Hermenegildo)").

:- comment(version(1*8+23,1999/04/08,14:53*34+'MEST'), "A @tt{-u} @em{File} option is now supported so that a file including path alias definitions can be included (this has the same functionality as the @tt{-u} option in @apl{ciaoc}). (Manuel Hermenegildo)").

:- comment(version(1*8+22,1999/04/08,01:23*48+'MEST'), "A background can now be specified for the @tt{html} manuals (needs a modified version of @apl{texi2html} included with the @apl{pl2texi} library). (Manuel Hermenegildo)").

:- comment(version(1*8+21,1999/04/07,23:19*33+'MEST'), "@apl{TeX}-related intermediate files are now cleaned up after each run in order to avoid clutter. (Manuel Hermenegildo)").

Man