aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
diff options
context:
space:
mode:
authorJulien Tanguy <julien.tanguy@jhome.fr>2015-11-17 13:05:17 +0100
committerJulien Tanguy <julien.tanguy@jhome.fr>2015-11-17 13:05:17 +0100
commit2a1583742d14f4cd12bb963c9fd28e248c7e2952 (patch)
tree37413255e1b198a25baa1ec201319b057524d5fc /scripts
parent31d529ce35cb54f1a6cd51abbd1ecd2547c195e1 (diff)
downloadhmacaroons-2a1583742d14f4cd12bb963c9fd28e248c7e2952.tar.gz
hmacaroons-2a1583742d14f4cd12bb963c9fd28e248c7e2952.tar.zst
hmacaroons-2a1583742d14f4cd12bb963c9fd28e248c7e2952.zip
Copy benchmark report to haddock
Diffstat (limited to 'scripts')
-rw-r--r--scripts/pushdoc.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/pushdoc.sh b/scripts/pushdoc.sh
index 34c811a..ccae6c9 100644
--- a/scripts/pushdoc.sh
+++ b/scripts/pushdoc.sh
@@ -7,6 +7,9 @@ cabal haddock
7# Go to haddock output dir 7# Go to haddock output dir
8cd dist/doc/html/hmacaroons 8cd dist/doc/html/hmacaroons
9 9
10# Copy benchmark
11cp benchmark.html dist/doc/html/hmacaroons
12
10# Quiet the git init message, since it's not useful in the build log 13# Quiet the git init message, since it's not useful in the build log
11git init > /dev/null 2>&1 14git init > /dev/null 2>&1
12 15