bug-texinfo
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: --no-headers bug?

From: Karl Berry
Subject: Re: --no-headers bug?
Date: Fri, 8 Aug 2003 12:28:27 -0400 
    -  if (html || xml)
    +  if (html || xml || no_headers)

Thanks much, I installed this patch.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]