[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] @verbatiminclude doesn't work for dvi,ps,pdf

From: Karl Berry
Subject: Re: [PATCH] @verbatiminclude doesn't work for dvi,ps,pdf
Date: Sat, 17 Sep 2005 17:25:22 -0500

    I'm sorry, my previous patch, while fixing the bug, introduces a 
    memory leak. Improved patch is attached.

Thanks Sergey.  I can't see any reason why makeinfo needs to expand
@verbatiminclude commands, so I installed the patch.

Happy documenting,

reply via email to

[Prev in Thread] Current Thread [Next in Thread]