doc-docbook/Makefile | 9 6 + 3 - 0 !
1 file changed, 6 insertions(+), 3 deletions(-)

 [patch 1/3] make docbook2texi executable name configurable.

Some systems, e.g. Debian, install the docbook2x variant of the
docbook2texi command as docbook2x-texi. Make the executable name
configurable in the Makefile.

doc-docbook/filter.xfpt | 6 6 + 0 - 0 !
doc-docbook/spec.xfpt | 6 6 + 0 - 0 !
2 files changed, 12 insertions(+)

 info: direntry description and infodir category
 Set both description for directory entry and infodir category.

doc-docbook/Makefile | 2 2 + 0 - 0 !
doc-docbook/filter.xfpt | 1 1 + 0 - 0 !
doc-docbook/spec.xfpt | 1 1 + 0 - 0 !
3 files changed, 4 insertions(+)

 set info filename
 Set filename of generated texi file, and adapt Makefile to expect the
 correct output filename.

website/script/gen.pl | 1 1 + 0 - 0 !
1 file changed, 1 insertion(+)

 delete whitespace from revnumber
 revnumber as filled by the macro seems to contain whitespace (especially
 \n, which gen.pl does not like.