[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,
Karl