From 9519935e55fb341e745c532e43d80ff99ff93712 Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Tue, 12 Mar 2019 20:28:32 +0100 Subject: fixed a harmless bug in Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 8709733..a628307 100644 --- a/Makefile +++ b/Makefile @@ -61,7 +61,7 @@ clean: lualatex rm -rf .backup find -iname "*~" -or -iname "*.pdf" | xargs rm -rf find ./* -type f -iname "Makefile" $(findopts) > ls-R - find ./* -type f -iname "samples/*" $(findoptsi) >> ls-R + find ./* -type f -iname "*.tex" | grep '/samples/' >> ls-R rsync -avPr --files-from=ls-R . .backup rm -rf * cp -p -r .backup/* . -- cgit v1.2.3