Matthieu Sozeau (Apr 16 2021 at 10:20): Matthieu Sozeau (Apr 16 2021 at 10:20):It seems make refman-html is not very clever and rebuilds the entire doc each time I call it, as it says:
construction [html]:cibles pour les fichiers sources 77 qui sont périmées is there a magical invocation to avoid this?
Théo Zimmermann (Apr 16 2021 at 10:24):I'm very surprised by this. It used to not be the case at least.
Matthieu Sozeau (Apr 16 2021 at 10:34):Hmm, maybe I'm wrong. It happens randomly
Matthieu Sozeau (Apr 16 2021 at 10:35):Ok ignore me, I cannot reproduce anymore :)
Last updated: May 28 2023 at 13:30 UTC