summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2020-10-23 08:33:50 +0300
committerLars Wirzenius <liw@liw.fi>2020-10-23 08:33:50 +0300
commit738440dc890a0c58c1a495c4920281b7c69b39cf (patch)
tree31dce41ee9397d1de8f2330b949b9ee5853561f9
parent06a7d4ad2e868d9e983dcf97643b329eae883c70 (diff)
downloadobnam2-738440dc890a0c58c1a495c4920281b7c69b39cf.tar.gz
refactor: move doc formatting to its own script
-rwxr-xr-xcheck4
-rwxr-xr-xformat.sh8
2 files changed, 9 insertions, 3 deletions
diff --git a/check b/check
index fe562df..4196811 100755
--- a/check
+++ b/check
@@ -21,8 +21,6 @@ cargo clippy $quiet
cargo fmt -- --check
$hideok cargo test $quiet
-sp-docgen obnam.md -o obnam.html
-sp-docgen obnam.md -o obnam.pdf
-$hideok sp-codegen obnam.md -o test.py --run
+./format.sh
echo "Everything seems to be in order."
diff --git a/format.sh b/format.sh
new file mode 100755
index 0000000..e7f3c70
--- /dev/null
+++ b/format.sh
@@ -0,0 +1,8 @@
+#!/bin/sh
+#
+# Build docs.
+
+set -eu
+
+sp-docgen obnam.md -o obnam.html
+sp-docgen obnam.md -o obnam.pdf