diff --git a/Makefile b/Makefile index 6a09b56..e444553 100644 --- a/Makefile +++ b/Makefile @@ -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 + +rebuild: + rm -fv guide_libre_asso.wiki guide_libre_asso.tex + make all + +.PHONY: all clean mrproper distclean rebuild