I added a couple of new commands to pl2texi:
@sp{N} -- Inserts N blank lines (useful to force vertical spacing).
@key{Key} -- Used to document key sequences (@key{SPC} appears in a
little box that looks like a keyboard key).
Man
--
-----------------------------------------------------------------------------
herme(a)fi.upm.es | Manuel Hermenegildo
herme(a)cs.utexas.edu | Facultad de Informatica
+34-91-336-7435 (Work) | Universidad Politecnica de Madrid
+34-91-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID
http://www.clip.dia.fi.upm.es/~herme | SPAIN
-----------------------------------------------------------------------------
I have made a small change in pl2texi to add the command
@index{...text..}
This is the same as @concept{...text..}, except that it prints in
normal font.
Thus, @concept, with its emphasized font, can be used for the first
(definitional) appearance of a concept, and @index for other
appearances.
Man
--
-----------------------------------------------------------------------------
herme(a)fi.upm.es | Manuel Hermenegildo
herme(a)cs.utexas.edu | Facultad de Informatica
+34-91-336-7435 (Work) | Universidad Politecnica de Madrid
+34-91-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID
http://www.clip.dia.fi.upm.es/~herme | SPAIN
-----------------------------------------------------------------------------
I have installed a new version of pl2texi (1.6). As always, in order
to use it, make a link to the Makefile in /home/clip/lib/pl2texi-1.6,
and use the SETTINGS file in there.
The most important changes since the previous major version are:
- The main change is that I have added support for inserting images
(.eps files) in text via @@image command, email addresses via
@email command, and url references via @uref command. This should
eliminate the last hurdles to writing really nice manuals...
- Unix 'man' output much improved. Also, it now includes a usage
section. The correspoding text must be given in a string contained
in the first argument of a fact of the usage_message/1 predicate
which appears in the program. Also, formatting of 'man' pages has
been greatly improved.
- A new 'ascii' format is now supported: a simple minded ascii manual
(basically, an info file without pointers).
Man
--
-----------------------------------------------------------------------------
herme(a)fi.upm.es | Manuel Hermenegildo
herme(a)cs.utexas.edu | Facultad de Informatica
+34-91-336-7435 (Work) | Universidad Politecnica de Madrid
+34-91-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID
http://www.clip.dia.fi.upm.es/~herme | SPAIN
-----------------------------------------------------------------------------
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 (!).
--
-----------------------------------------------------------------------------
herme(a)fi.upm.es | Manuel Hermenegildo
herme(a)cs.utexas.edu | Facultad de Informatica
+34-91-336-7435 (Work) | Universidad Politecnica de Madrid
+34-91-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID
http://www.clip.dia.fi.upm.es/~herme | SPAIN
-----------------------------------------------------------------------------