rm -rf

2015-05-28 12:43:56 +02:00
parent fd7fe795ad
commit d0c6272a90
1 changed files with 1 additions and 1 deletions
@@ -1,4 +1,4 @@
 #!/bin/sh

-git pull && rm -r _build && make html
+git pull && rm -fr _build && make html