Thank you both for getting back to me.
I share Ralf's feelings, but I do not see many options here: - you may generate a *.texi stub, as you suggest - you may compute foo.texi is from foo.dbk in bthe bootstrap script - or you may refrain from using info_TEXINFOS and put the rules to Makefile.am
I will play around with your suggestions to see what fits. I do not want to generate the texi file from the bootstrap as I want the users to be able to regenerate the documentation from the original sources - I believe this is even a prerequisite for the GPL v3. I also have no problem distributing the DocBook or texi files as I do not want the users to HAVE TO HAVE makeinfo or docbook2x-texi installed. Considering that my situation is not an unreasonable one, would you consider this a bug? Thanks again, Noah -- "Creativity can be a social contribution, but only in so far as society is free to use the results." - R. Stallman
