On 2020-03-02, Peter N. M. Hansteen <peter@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.
No comments:
Post a Comment