Re: [Notion-devel] patch for notion-doc

[Arnout E. <no...@bz...>]

On Wed, Aug 24, 2011 at 01:06:23PM +0400, Sergej Pupykin wrote:
> here is small patch for notion-doc makefile. It contains mostly
> dependency fixes

Thanks, applied and committed!

> take attention to
> cat $< | sed 's|UTF8_STRING|UTF8\\_STRING|' >$@
> 
> at the end of this patch. Probably it should be fixed in another way
> in ioncore.

I agree: EXTL_DOC should be valid TeX to begin with. Fixed that in property.c


Thanks,

Arnout