From 355fb5e702ff00cab68072a15b646617ecfb4354 Mon Sep 17 00:00:00 2001 From: Maxime Alves LIRMM Date: Thu, 31 Aug 2023 05:01:07 +0900 Subject: [PATCH] (new) add Makefile with "make clean" command --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..f30b919 --- /dev/null +++ b/Makefile @@ -0,0 +1,4 @@ +target: + +clean: + rm -f *.aux *.lof *.log *.fls *.out *.toc *.fmt *.fot *.cb *.cb2 .*.lb *.ist *.dvi *.xdv *.run.xml *.bcf *.blg *.acr *.glg *.bbl *.glsdefs *.acn *.glo *.lot *.alg