Re: @math alternative

[Werner LEMBERG]

>       @item @mathtex{0 \le @var{n} \le 1000}{0 <= @var{n} <= 1000}
>
> It's a step backwards, we just made it possible to write real @math
> and get it output in info...
>
> I think the better solution would be for makeinfo to recognize \le
> (and other control sequences) and automatically change them to <=.
>
>     Currently, I have to do this:
>
> That actually seems cleaner to me than repeating the entire @math
> construct.

Not at all!  My coding works *only* because @LE isn't expanded in the
@item line which is a bug IMHO.

Here my original problem:

  \input texinfo

  @setfilename yyy

  @ifnottex
  @macro angles{text}
  <\text\>
  @end macro
  @end ifnottex

  @iftex
  @macro angles{text}
  @address@hidden
  @end macro
  @end iftex

  This is a @angles{test}.

  @table @asis
  @item This is a @angles{test}.
  @end table

  @bye

If I say `makeinfo yyy.texinfo' and `texi2dvi yyy.texinfo', it works.
Unfortunately, I can't use this with more complicated macros which I
have to use in @deffn due to the buggy @macro processing in
texinfo.tex.

Using `texi2dvi -e yyy.texinfo' doesn't work.  Here the result of
`makeinfo -e xxx yyy.texinfo':

  \input texinfo

  @setfilename yyy

  @ifnottex
  @end ifnottex

  @iftex
  @macro angles{text}
  @address@hidden
  @end macro
  @end iftex

  This is a <test>.

  @table @asis
  @item This is a @angles{test}.
  @end table

  @bye

For me, this isn't useful output.  If the -e option is active, macro
definitions in address@hidden ... @end iftex' environments *must* be
processed IMHO!  And I can't see a reason why this is disabled.

Using the --iftex option fails, of course:

  makeinfo --iftex -E xxx yyy.texinfo

results in

  yyy.texinfo:17: Unknown command address@hidden'.
  yyy.texinfo:21: Unknown command address@hidden'.
  makeinfo: Removing macro output file `xxx' due to errors;
            use --force to preserve.
  makeinfo: Removing output file `yyy' due to errors;
            use --force to preserve.


    Werner


[BTW, there is a another bug: It is possible to say

   makeinfo -e yyy yyy.texinfo

 which should be prohibited -- I don't think that anyone needs both
 the expanded texinfo date and info output in the same file.]