[darcs-users] darcs patch: tweak Darcs.Repository.Prefs for haddock

Gwern Branwen gwern0 at gmail.com
Fri Jun 27 21:48:11 UTC 2008


On 2008.06.27 14:41:52 -0700, David Roundy <droundy at darcs.net> scribbled 0.6K characters:
> On Fri, Jun 27, 2008 at 03:35:40PM -0400, gwern0 at gmail.com wrote:
> > Fri Jun 27 15:34:28 EDT 2008  gwern0 at gmail.com
> >   * tweak Darcs.Repository.Prefs for haddock
> >   we need to escape special characters that haddock would otherwise
> > interpret and thusly go awry. (Does this have bad effects on LaTeX?
> > I do not know.)
>
> > - -simple \verb-darcs add newdir newdir/*-
> > +simple \verb-darcs add newdir newdir\/\*\-
>
> Not applied.  This would have the effect of printing the backslashes
> in latex, since this is a verbatim section.
>
> David

Hum. That is something of a problem then. Do you have any ideas on how this could be fixed? The / and * are fairly reliable at breaking Haddock on my end.

--
gwern
e95 CipherTAC-2000 AIEWS .2-150kt Warfare rusers NZC-332 Psyops Lander CDA
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20080627/ced4bb9b/attachment.pgp 


More information about the darcs-users mailing list