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