[texinfo-pretest] makeinfo patch: better docbook translation of definitions

[Per Bothner]

The current way makeinfo translates definition commands to docbook
is less than optimal.  The most obvious is the initial summary line
is nested within the <blockquote>, so it too gets indented.  This
could be fixed in a stylesheet, I guess, but I think using blockquote
is awkward.  Instead I propose the attached patch.

I tried getting feedback from the docbooks moguls whether this was
a suitable mapping, but got thundering silence.  Any case, this
works for me.
-- 
	--Per Bothner
per at bothner.com   http://per.bothner.com/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mi-defun.patch
Type: text/x-patch
Size: 2572 bytes
Desc: not available
Url : http://ff0.org/pipermail/texinfo-pretest/attachments/20050422/76d36a33/mi-defun.bin