On 16/06/2015 18:49, Corinna Vinschen wrote:
Note that the next time you build documentation for the website, you might
need to take some special steps to add new .html files.
-v, please?
Sorry, I wasn't being intentionally vague, but I don't know precisely
how you push documentation updates.
I guess you will need to do a 'cvs add *.html'
and next time you build a package you might need to take some special steps
to exclude /usr/share/man/
What special steps? I assume a `make install' will install the
additional man pages now. Wouldn't it make sense to install them as
part of the Cygwin package then, rather than as part of cygwin-doc?
Ultimately, I think it would be a good idea if cygwin-doc was generated
by the same process which builds the cygwin(|-devel|-debuginfo) packages.
But we are some way from there yet.
My thought was that the simplest way to do the transition is to exclude
all the files currently owned by cygwin-doc until then, but maybe you
have a different idea.
