From c6adb47b19a1fa42c00139f025df6504366ac316 Mon Sep 17 00:00:00 2001
From: kthoden <kthoden@mpiwg-berlin.mpg.de>
Date: Wed, 1 Apr 2020 16:43:42 +0200
Subject: [PATCH] Use make clean instead

---
 eoa.rc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/eoa.rc b/eoa.rc
index 6d7a469..257d8d5 100644
--- a/eoa.rc
+++ b/eoa.rc
@@ -14,7 +14,7 @@ e15=$rootpath/eoa-1.5
 # build sphinx documentation and open in browser
 function msx(){
     cd $1;
-    rm -rf $1/_build/html;
+    make clean;
     make html;
     open $1/_build/html/index.html;
     cd -
@@ -23,7 +23,7 @@ function msx(){
 # build sphinx documentation silently
 function msxs(){
     cd $1;
-    rm -rf $1/_build/html;
+    make clean;
     make html;
     cd -
 }