generator: More options for internal pod2text generator.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 26 Nov 2010 21:49:58 +0000 (21:49 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 26 Nov 2010 21:49:58 +0000 (21:49 +0000)
commitb4c853f7d493af1d71f352832fed29eb7e377e8f
treebbc61a9b49b95c378cbda19170e4fb3e0d068eb0
parent60b3c8e81124a881cd93ed66c167cac37e87c36b
generator: More options for internal pod2text generator.

Allow extra width, and trimming options.

This necessitates a change in the memoized format.  To avoid
causing crashes if a new generator loads the old format, also
change the filename of the memo file.
.gitignore
generator/generator_utils.ml
generator/generator_utils.mli