On Mon, Feb 24, 2003 at 07:55:33AM -0700, DDP CVS wrote:
> CVSROOT:      /cvs/debian-doc
> Module name:  ddp
> Changes by:   aisotton        03/02/24 07:55:33
> 
> Modified files:
>       manuals.sgml/repository-howto: Makefile 
> 
> Log message:
>       - removed dvi and ps targets

It seems to be bothered by —. Why not hack that manually (do some sort
of s/—/--/ automatically, presuming the language is extensible enough
to do that) or just hardcode "--" as a workaround, instead of disabling them
completely?

-- 
     2. That which causes joy or happiness.


Reply via email to