A new version of pl2texi (1.4) is available:

- Included files (@include and @includeverbatim) are now located using the same library paths as all other files (no full paths are needed any more).

- Supports the recent changes in assertion format (mainly, including # as comment separator).

- Used modules are now separated in documentation (in the interface description) by type (user, system, engine...).

- Include 'hide' option in comments to prevent an exported predicate from being documented. This is useful for example for avoiding mentioning in the documentation multifile predicates which are not intended to be modified by the user.

Man