rose-make-docs: correct --default-version docs

metomi · Oct 10, 2018 · ed428ed · ed428ed
1 parent d3c2d0e
commit ed428ed
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bin/rose-make-docs b/bin/rose-make-docs
@@ -37,7 +37,7 @@
 #         errors.
 #     --debug
 #         Run `make` with the --debug option.
-#     --default-version=VERSION
+#     --default-version VERSION
 #         By default the current version is symlinked as the default version,
 #         provide an alternative version to override this.
 #         If set to 'none' then the default version will remain unchanged.

diff --git a/etc/travis-scripts b/etc/travis-scripts
@@ -143,7 +143,7 @@ build-docs () {
     if ! rose make-docs --venv --dev --strict clean html slides pdf \
             ${DEFAULT_VERSION:-} >out 2>&1; then
         # output is a bit long, only output it if the docs fail to build
-        cat out >2
+        cat out >&2
         exit 1
     fi