ada/5907: The Ada front end lacks a proper manual

[Florian Weimer]

Hans-Peter Nilsson <hp@bitrange.com> writes:

> Can't you make @file{} or an equivalent do that transformation?
> If the docs are as other doc files in the tree, it would already
> use @file{} around file names.

I don't think you can express the transformation in terms of Texinfo
macros (no problem for TeX, but we won't get info files this way).