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.
