On Tue, Mar 03, 2020 at 10:15:31AM -0000, Stuart Henderson wrote:
On 2020-03-02, Peter N. M. Hansteen <pe...@bsdly.net> wrote:
I was thinking of the probably quite unlikely event that somebody who wants this
comes up with an actually reproducible way that could be turned into an
otherwise
unremarkable make target.
From experience with other generated files: it won't get used by
everyone who updates the faq, meaning that it's another thing that
somebody<tm> has to watch out for and fix it.
IMHO the only way to fix this is to convert the faq to some other
format that is used to generate a variety of output files (such that
the html files aren't stored in the repository, only the "input"
files, so there's no chance of getting it wrong). And *that* has
enough implications that I don't think it will work well either.
You're right, but I wish you weren't!
