diff options
| author | Julien Tanguy <julien.tanguy@jhome.fr> | 2015-11-17 13:15:11 +0100 |
|---|---|---|
| committer | Julien Tanguy <julien.tanguy@jhome.fr> | 2015-11-17 13:15:11 +0100 |
| commit | 155ab4a48852dcf5a8918cdd18d2503e48007af2 (patch) | |
| tree | 5a7a2225ae77a43c9955253b0087e7da40b8df06 | |
| parent | 2a1583742d14f4cd12bb963c9fd28e248c7e2952 (diff) | |
| download | hmacaroons-155ab4a48852dcf5a8918cdd18d2503e48007af2.tar.gz hmacaroons-155ab4a48852dcf5a8918cdd18d2503e48007af2.tar.zst hmacaroons-155ab4a48852dcf5a8918cdd18d2503e48007af2.zip | |
Copy benchmark *before* cd-ing into haddock dir
| -rw-r--r-- | scripts/pushdoc.sh | 6 |
1 files 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 | |||
| 4 | # Build documentation | 4 | # Build documentation |
| 5 | cabal haddock | 5 | cabal haddock |
| 6 | 6 | ||
| 7 | # Go to haddock output dir | ||
| 8 | cd dist/doc/html/hmacaroons | ||
| 9 | |||
| 10 | # Copy benchmark | 7 | # Copy benchmark |
| 11 | cp benchmark.html dist/doc/html/hmacaroons | 8 | cp benchmark.html dist/doc/html/hmacaroons |
| 12 | 9 | ||
| 10 | # Go to haddock output dir | ||
| 11 | cd dist/doc/html/hmacaroons | ||
| 12 | |||
| 13 | # 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 |
| 14 | git init > /dev/null 2>&1 | 14 | git init > /dev/null 2>&1 |
| 15 | 15 | ||