amélioration du makefile ; ajoute une cible de rebuild

This commit is contained in:
François Poulain 2020-05-18 15:55:46 +02:00
parent 4bc816d0c0
commit 90d6a26a2d
1 changed files with 6 additions and 0 deletions

View File

@ -63,3 +63,9 @@ mrproper: clean
rm -fv guide.pdf guide_libre_asso.* version_html/guide.html ${IMG_PNG_SMALL} ${IMG_JPG_SMALL}
distclean: mrproper
rm -fv guide_libre_asso.tex
make all
.PHONY: all clean mrproper distclean rebuild