Re: generated documentation

2012-05-22 Thread Werner LEMBERG
>> (1) If the user unpacks the tarball, the rules are not executed. >> (2) If the user does a bootstrap from the repository to do `make >> dist', they are needed. >> (3) If the user changes a doc source file in the tarball and wants >> to regenerate the documentation, the rules are needed t

Re: generated documentation

2012-05-22 Thread Miles Bader
Werner LEMBERG writes: > (1) If the user unpacks the tarball, the rules are not executed. > (2) If the user does a bootstrap from the repository to do `make > dist', they are needed. > (3) If the user changes a doc source file in the tarball and wants to > regenerate the documentation, the

generated documentation

2012-05-21 Thread Werner LEMBERG
automake or autoconf mailing list, but since I use the automake framework, I start here :-) In my package, I have generated documentation files: foo.html and foo.pdf. In the tarball I want to distribute them. In the git repository they are not present, and rules in the Makefile generate them. Now

generated documentation

2012-05-21 Thread Werner LEMBERG
Folks, it's not clear to me whether I shall post this question in the automake or autoconf mailing list, but since I use the automake framework, I start here :-) In my package, I have generated documentation files: foo.html and foo.pdf. In the tarball I want to distribute them. In th