In message <20000129181121.C27112@liafa1.liafa.jussieu.fr>you write: > The @ifinfo comments should be replaced with @ifnottex. Why? And does it continue to work with older versions of makeinfo? > The (c) Notice at start needs @sp and @* to look reasonable in html. Seems reasonable. jeff