diff --git a/bin/generate-docs b/bin/generate-docs index ad3fa882..c1b819e1 100755 --- a/bin/generate-docs +++ b/bin/generate-docs @@ -1,4 +1,5 @@ #!/bin/bash +set -eux # this script edits the sources allowing the autodoc to import them, runs the generation, then reverts the changes.