Werner Koch wk@gnupg.org
Mon Mar 4 19:32:03 2002

On Mon, 4 Mar 2002 13:10:06 -0500, David Shaw said:

> That's interesting.  The gpg.info file is actually missing
> double-dashes in quite a few places.

There is a bug in docbook2texi which I fixed using sed, seems that a
g is missing at the end of the repalcement pattern.  The proper way
would be to fix this in docbook2texi, though.

%.texi : %.xml
	docbook2texi $< | sed 's,--,---,' >$@
	: Warning: missing docbook to texinfo tools, cannot make $@
	touch $@

Werner Koch        Omnis enim res, quae dando non deficit, dum habetur
g10 Code GmbH      et non datur, nondum habetur, quomodo habenda est.
Privacy Solutions                                        -- Augustinus