From a2c498464ff09969bc6a98e475b82d44002fabeb Mon Sep 17 00:00:00 2001 From: metamuffin Date: Thu, 15 Aug 2024 04:00:41 +0200 Subject: cleanup and remove specs dir --- specs/build.sh | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 specs/build.sh (limited to 'specs/build.sh') 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 -- cgit v1.2.3-70-g09d2