After having fixed a problem with redundant const use (rejected by gcc 3.3.x),
I'm now facing a makeinfo problem in etc/ (apparently unable to deal with @
characters inside @url{} or @uref{}). What is the general position with regard
to the ability of building on older distros?
Thanks, Jan