mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-11-14 11:16:33 +03:00
571f0dd249
* feat: support for all solver backends for cryptol server/client * chore: update server docs w.r.t. sat related functionality * chore: reduce trailing whitespace * chore: deduplicate usage of helper * chore: misc build fixes * chore: type annotation fixes
8 lines
174 B
Bash
Executable File
8 lines
174 B
Bash
Executable File
#! /bin/bash
|
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
|
|
|
|
pushd $DIR/docs
|
|
cabal run exe:cryptol-remote-api --verbose=0 -- doc > Cryptol.rst
|
|
popd
|