Updated .gitignore, deleted build.sh.

2019-03-30 22:35:15 +01:00 · 2019-03-30 22:35:15 +01:00 · 5cf3b18008
parent 7633bb0220
commit 5cf3b18008
2 changed files with 0 additions and 11 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,5 +1,4 @@
 /build/
 /doc/
-/update_gh-pages.sh
 /update_doc.sh
 /examples/example99*
--- a/build.sh
+++ b/build.sh
@ -1,10 +0,0 @@
-#!/bin/sh
-
-mkdir -p build && \
-cd build/ && \
-cmake .. && \
-make
-
-if [ "$(basename ${PWD})" == "build" ]; then
-    cd ..
-fi