[PATCH 0/6] add libdirs for load_lib extra search dirs; cleanups

[Bernhard Reutner-Fischer]

The last patch in this series adds a global variable libdirs to be used
as list of additional directories for load_lib to search for libs.

The other patches are hunks i accumulated while preparing the
documentation for the last patch.
The most prominent being that programlisting closes any currently open
para, so cater for that to prevent HTML errors. See patch for details.

If there is anything in all but the last patch that you dislike, please
drop it (or redo it as you see fit).

Please apply.
thanks,

Bernhard Reutner-Fischer (6):
  doc: Add missing space before &dj; in user.xml
  .gitignore: Ignore some more generated files
  doc: Fix some misplaced para
  doc: Fix table
  doc: Fix typos
  runtest.exp: add libdirs list for load_lib()

 .gitignore                         |   15 ++++++
 Makefile.am                        |    1 +
 Makefile.in                        |    1 +
 doc/.gitignore                     |    2 +
 doc/dejagnu.texi                   |   94 +++++++++++++++++++-----------------
 doc/ref.xml                        |   33 ++++++++++---
 doc/user.xml                       |   47 +++++++++---------
 runtest.exp                        |   11 +++--
 testsuite/runtest.all/load_lib.exp |   44 +++++++++++++++++
 9 files changed, 168 insertions(+), 80 deletions(-)
 create mode 100644 testsuite/runtest.all/load_lib.exp

-- 
1.7.10.4