logo

lanodan.eu

Unnamed repository; edit this file 'description' to name the repository. git clone https://hacktivis.me/git/lanodan.eu.git
commit: 1a36b20cab1484c5aad3d021a34952879644dba5
parent 6d33401c7891b33757c2779c90162624a59b5a6b
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date:   Thu,  9 Feb 2023 13:33:54 +0100

Makefile: Add lint target

Diffstat:

MMakefile6+++++-
1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile @@ -1,7 +1,11 @@ -all: accueil.pdf home.pdf +all: lint accueil.pdf home.pdf accueil.pdf: accueil.html style.css weasyprint accueil.html accueil.pdf home.pdf: home.html style.css weasyprint home.html home.pdf + +.PHONY: lint +lint: + xmllint --noout accueil.html home.html