I have installed a new version of pl2texi (1.5#10). I have tested it a bit but please let me know if you fidn any problems. As always, in order to use it, make a link to the Makefile in /home/clip/lib/pl2texi-1.5.

The most improtant changes since the previous major version are:

- pl2texi now supports an @cite command (YES!). It automatically accesses the bib entries in .bib files (using bibtex) and produces a 'References' appendix. @cite can be used in the text strings exactly as \cite in LaTeX. The set of bib files to be used is given in the SETTINGS file (see /home/clip/lib/pl2texi-1.5/SETTINGS).

- Definimng the type of version maintenance that should be performed by the @apl{emacs} ciao.el mode (i.e., whether version numbers are in a given directory or in the file itself) is controlled now via a standard @decl{commment/2} declaration. You should now write a declaration such as:

:- comment(version_maintenance,dir('../version')).

to state that control info is kept in directory @tt{../version}. This has the advantage that it is shorter than the previous solution and that pl2texi can read this info easily. Using this guarantees that the version numbers of the manuals always concide with those of the software.

- Generation of indices of manuals (.htmlbullet files): if several manuals are installed in the same directory, an index to then is now generated at the beginning of the html cover page describing the directory (see, for example http://www.clip.dia.fi.upm.es/Software/Beta/Ciao/doc, user:clipsoft, passwd:clipfriends)

- The set of paths defined in SETTINGS for finding the source files are now also used to find 'included' files. As a result, full path is not needed any more in, e.g, @@include command.

- Unix 'man' output now includes usage if defined in a string contained in a fact of the @pred{usage_message/1} predicate. Also, formatting of 'man' pages greatly improved.

- Added @ref command to refer to sections, nodes, etc.

Other minor changes:

- Improved handling of files which are not found (does not abort unless necessary).

- Faster parsing of documentation strings.

- Improved treatment of newlines (important for man format).

- Makefile can now use printf instead of echo for portability (unfortunately, different versions of echo behave very differently).

- Multiple .texi files (for indices, etc.) are now generated in all cases. This is because the references must be in an independent file and emacs cannot generate menus and pointers automatically unless the include structure is flat, i.e., all chapters an unnumbered with nodes are in separate files (!).