Re: Macros and spaces

[Karl Berry]

    PS/ This is \def\texinfoversion{2000-05-28.15}

Do the macros work any better if you use texi2dvi -e?
(And therefore got the makeinfo macro implementation instead of the TeX
implementation?)

Anyway, it's a bug, certainly.

    @defmac AC_CONFIG_FILES (@var{file}@dots{}, @r{[}@ovar{cmds}@r{]}, 
@r{[}@ovar{init-cmds}@r{]})

To me this is a failing in Texinfo -- the @r{[} stuff should not be
necessary, instead optional arguments should be markable as such.
Perhaps we should add a command @optional?