From 155ab4a48852dcf5a8918cdd18d2503e48007af2 Mon Sep 17 00:00:00 2001 From: Julien Tanguy Date: Tue, 17 Nov 2015 13:15:11 +0100 Subject: [PATCH] Copy benchmark *before* cd-ing into haddock dir --- scripts/pushdoc.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/pushdoc.sh b/scripts/pushdoc.sh index ccae6c9..653d599 100644 --- a/scripts/pushdoc.sh +++ b/scripts/pushdoc.sh @@ -4,12 +4,12 @@ set -e # exit with nonzero exit code if anything fails # Build documentation cabal haddock -# Go to haddock output dir -cd dist/doc/html/hmacaroons - # Copy benchmark cp benchmark.html dist/doc/html/hmacaroons +# Go to haddock output dir +cd dist/doc/html/hmacaroons + # Quiet the git init message, since it's not useful in the build log git init > /dev/null 2>&1 -- 2.41.0