From ed428ed2ede01738579d948bb363ba195afc875e Mon Sep 17 00:00:00 2001 From: Oliver Sanders Date: Mon, 10 Sep 2018 16:25:27 +0100 Subject: [PATCH] rose-make-docs: correct --default-version docs --- bin/rose-make-docs | 2 +- etc/travis-scripts | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/rose-make-docs b/bin/rose-make-docs index 31773fd5a3..b8b44bcade 100755 --- 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 index 8b5395e543..ee89394ffd 100755 --- 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