[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 4.5: @set before @setfilename is ignored
|
From: |
Akim Demaille |
|
Subject: |
Re: 4.5: @set before @setfilename is ignored |
|
Date: |
Sat, 26 Apr 2003 16:46:29 +0200 |
|
User-agent: |
Gnus/5.090018 (Oort Gnus v0.18) Emacs/21.3 (gnu/linux) |
Hi Karl,
| It looks like @set commands (and maybe other commands?) are ignored
| before @setfilename.
|
| Everything is ignored before @setfilename.
Oh. Sorry. It worked for DVI. Indeed the documentation does mention
that
* The address@hidden' line provides a name for the Info file and
tells TeX to open auxiliary files. *All text before
address@hidden' is ignored!*
| Maybe makeinfo should warn about this?
|
| Probably so. Perhaps one day ...
:) I know too well what you mean, and how it feels... Thanks Karl!