Re: info_TEXINFOS should not assume source file exists

[Noah Slater]

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