htrdr

commit 89e7f484b21654bfc308914d34d6673a56f7d45b
parent f1eef77f73cf5039d062154efaa118c5b6e8c208
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Wed,  4 Oct 2023 17:47:09 +0200

Fix the lint Makefile target

Make it dependent on the htrdr-combustion and htrdr-planeto manual
pages, which must be generated from their template.

Diffstat:
M
Makefile
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -688,7 +688,7 @@ distclean:\
  distclean_core\
  clean_man
 
-lint: htrdr-atmosphere.1
+lint: htrdr-atmosphere.1 htrdr-combustion.1 htrdr-planeto.1
 	shellcheck -o all make.sh
 	mandoc -Tlint -Wall htrdr.1 || [ $$? -le 1 ]
 	mandoc -Tlint -Wall htrdr-atmosphere.1 || [ $$? -le 1 ]