>>>>> "Adam" == Adam Borowski <kilob...@angband.pl> writes:
Adam> Well, the problem I was fixing was patches not being applied
Adam> -- which obviously broke installability.
I understand now and regret my previous frustration.
Thanks for working with me.
So, it seems like we have a couple directions we could go.
1) Build the man pages all the time and get the dates right.
Advantages: building from source always.
disadvantages: getting the date right, and increasing the set of
dependencies for bootstrapping etc.
2) Build the man pages in the source.
advantages: faster build times, smaller build dependencies.
disadvantages: Annoying developer experience, we don't build from source
all the time.
For now, I've documented option 2 in README.source, mostly because Steve
expressed that preference earlier in the bug.
I don't know if the current patches actually include built versions of
all our man page changes, so I'm definitely not going to back out the
build-depends changes.
--Sam
