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

[Bagas Sanjaya <bagasdotme@xxxxxxxxx>]

On 15/10/21 19.39, Ævar Arnfjörð Bjarmason wrote:
> @@ -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