Stream: Coq devs & plugin devs

Topic: make refman-html


view this post on Zulip 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?

view this post on Zulip Théo Zimmermann (Apr 16 2021 at 10:24):

I'm very surprised by this. It used to not be the case at least.

view this post on Zulip Matthieu Sozeau (Apr 16 2021 at 10:34):

Hmm, maybe I'm wrong. It happens randomly

view this post on Zulip Matthieu Sozeau (Apr 16 2021 at 10:35):

Ok ignore me, I cannot reproduce anymore :)


Last updated: Oct 21 2021 at 21:03 UTC