Re: [PATCH 4/4] doc lint: make "lint-docs" non-.PHONY

From: Bagas Sanjaya <bagasdotme@gmail.com>
Date: Oct 16, 2021, 01:57 UTC
Message-ID: <438804d8-eedc-cca5-acbd-5534df601b24@gmail.com>
In-Reply-To: <patch-4.4-800d7d81d42-20211015T123619Z-avarab@gmail.com>

On 15/10/21 19.39, Ævar Arnfjörð Bjarmason wrote:

Show 8 quoted lines

> @@ -343,6 +348,7 @@ GIT-ASCIIDOCFLAGS: FORCE
>               fi
>   
>   clean:
> +	$(RM) -rf .build/
>   	$(RM) *.xml *.xml+ *.html *.html+ *.1 *.5 *.7
>   	$(RM) *.texi *.texi+ *.texi++ git.info gitman.info
>   	$(RM) *.pdf

Why did you clean the build directory?

-- 
An old man doll... just what I always wanted! - Clara