|
From: | Federico Bruni |
Subject: | Re: make info fails without preceding make doc |
Date: | Wed, 22 Sep 2021 13:36:22 +0200 |
"make doc-clean" appears to work better. I find it somewhat surprisingthat it should not have been implied by "make clean".
IIRC it's implied by make distclean
[Prev in Thread] | Current Thread | [Next in Thread] |