Bug#175064: DocBook XML conversion is read with this script

[Jonathan Nieder <jrnieder@gmail.com>]

Hi Osamu,

Osamu Aoki wrote:

> By extracting attached file into source and running "make", it will do
> the magic of converting to DocBok XML and then to PDF etc.
> (Need the sid version of the latest debiandoc-sgml)

Very neat.  I also had to install dblatex.  I like the separation
between automated conversion and patches to fix it up.  Some quick
reactions:

. The generated HTML refers to some missing files like
  "images/prev.gif".  I assume "make publish" would have taken care of
  that; maybe it would be possible for a similar target to take care
  of putting a symlink or copy of the images/ dir in the source tree
  for easy previewing.

. The lack of indentation in the source is nice.  Less fussy.

. That said, if there were a way to preserve the whitespace of the
  original and just substitute tags (so diff-ing between the before
  and after would be possible), that would be even better.  I
  understand that's probably impossible.  I fell back to using "git
  diff --no-index --word-diff=color" to find meaningful differences.

. Sometimes the spacing around closing tags looks unidiomatic, as in

	... The detailed
	procedure for gracefully orphaning a package can be found in the Debian
	Developer's Reference (see <xref linkend="related"/> ).  </para> </footnote>

  The extra space carries over to the rendered HTML, too.  Is that
  intentional?

. Quotation marks were lost, for example in “Originally called "Debian
  GNU/Linux Policy Manual", ...” at the start of the policy manual.

. Aside from the quotation marks and spaces, I couldn't find any
  artifacts.  Seems like a good conversion.

Thanks much; nicely done.
Jonathan