106d

[Werner Koch]

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
if HAVE_DOCBOOK_TO_TEXI
	docbook2texi $< | sed 's,--,---,' >$@
else
	: Warning: missing docbook to texinfo tools, cannot make $@
	touch $@
endif

-- 
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