From 1aca784674ecc46e7b61a82cd396d6995c83cdbc Mon Sep 17 00:00:00 2001 From: kthoden Date: Wed, 18 Mar 2020 08:19:22 +0100 Subject: [PATCH] Remove old build --- eoa.rc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/eoa.rc b/eoa.rc index 209e624..6d7a469 100644 --- a/eoa.rc +++ b/eoa.rc @@ -14,6 +14,7 @@ e15=$rootpath/eoa-1.5 # build sphinx documentation and open in browser function msx(){ cd $1; + rm -rf $1/_build/html; make html; open $1/_build/html/index.html; cd - @@ -22,6 +23,7 @@ function msx(){ # build sphinx documentation silently function msxs(){ cd $1; + rm -rf $1/_build/html; make html; cd - }