From a21cca45ebd6b6709fab1aa3bb0a1ab972c55c83 Mon Sep 17 00:00:00 2001 From: Merlijn Wajer Date: Sun, 25 Apr 2010 20:30:42 +0200 Subject: [PATCH] Makefile for Doc fix --- Doc/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Doc/Makefile b/Doc/Makefile index ec2c670..d8a1679 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -12,6 +12,7 @@ clean: rm -rvf $(intro_) rm -rvf $(psbook_) rm -rvf $(book_) + rm -rvf $(dev_) find -iname "$(intro_)*" | grep -v svn | grep -v tex | xargs rm -vf find -iname "$(psbook_)*" | grep -v svn | grep -v tex | xargs rm -vf find -iname "$(book_)*" | grep -v svn | grep -v tex | xargs rm -vf