On 18 October 2016 at 08:06, Per Bothner <address@hidden> wrote:
To clarify, do you think that makeinfo should insert kawa-figures or
whatever in the paths to image files that occur in the Info files it
produces?
I think that is best. What I'm not sure is whether it should do so
depending on a command-line flag, or automatically )by searching).
What does this achieve? Is it to make uses of the @image command more
succinct by allowing directory parts of the path to be missed out?
One option is to add a new command-line flag that specifies
a directory or filename prefix or a search path. This path
is used for (at least) @image command.
Another option is for the @image command to check for images
in both the current directory and FOO-figures, where FOO
could be the filename in the @setfilename command.
Not sure which approach would be best. I'd be fine with either.
I'd prefer the first option and not making FOO-figures special if it
isn't special already, assuming it's worth it, of course.