Hi!
Not exact, but sufficiently close I think:
make distclean ./configure make make -C doc user-configured make install
From what you're telling I believe the problem to be in the make distclean step. I guess it deletes any pre-built docs as well. Well, not a guess only, just confirmed in my build here.
So, what should we conclude with? There's two options here IMHO:
- Have make distclean not delete any pre-built documentation. Consequently, make dist should then actually build the documents to ensure that make dist always ends up with the same tar ball.
- In our debian package, we could first move the pre-built docs to a safe location, and put them in place after make distclean.
What would you consider the preferred way?
Best, Michael
I was able to reproduce the problem and today I will try to implement the solution.
Actually, we have two problems: one is the one you are mentioning, another one is basically related to what is said in Section 27.5 of the automake manual (Files left in build directory after distclean). We have a couple of these bad dependencies of a distributed built file from a non-distributed built file.
Is this issue fixed in the pre36 upload? If so, how did you fix it, or rather: Which steps should I take in the Debian package?
Thanks, Michael