diff options
Diffstat (limited to 'specs/build.sh')
| -rw-r--r-- | specs/build.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/specs/build.sh b/specs/build.sh deleted file mode 100644 index 9ffd1f93..00000000 --- a/specs/build.sh +++ /dev/null @@ -1,4 +0,0 @@ -#! bin/bash - -rm specs/specs_book.html -pandoc --webtex specs/*.md > specs/specs_book.html |