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

Re: 4.5: @set before @setfilename is ignored

From: Karl Berry
Subject: Re: 4.5: @set before @setfilename is ignored
Date: Fri, 25 Apr 2003 18:05:15 -0400 
    It looks like @set commands (and maybe other commands?) are ignored
    before @setfilename.  

Everything is ignored before @setfilename.

    Maybe makeinfo should warn about this?  

Probably so.  Perhaps one day ...

Thanks, Akim.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]