diff options
-rwxr-xr-x | bin/upload-release-files.sh | 1 | ||||
-rw-r--r-- | doc/SConscript | 4 |
2 files changed, 5 insertions, 0 deletions
diff --git a/bin/upload-release-files.sh b/bin/upload-release-files.sh index 2ba10cce..2867e3c8 100755 --- a/bin/upload-release-files.sh +++ b/bin/upload-release-files.sh @@ -68,6 +68,7 @@ ssh scons@scons.org " cd .. rm latest; ln -s $VERSION latest rm production; ln -s $VERSION production + for f in HTML PDF PS TEXT; do rm $f; ln -s $VERSION/$f $f; done " echo '*****' echo '***** Now manually update index.php, includes/versions.php and news-raw.xhtml on scons.org.' diff --git a/doc/SConscript b/doc/SConscript index faa0af28..9bf40bce 100644 --- a/doc/SConscript +++ b/doc/SConscript @@ -436,6 +436,8 @@ for man_1 in man_page_list: tar_deps.extend([ps, text]) tar_list.extend([ps, text]) + else: + print "doc: WARNING: no groff, skipping text and PostScript versions of man pages" if man2html: html = os.path.join(build, 'HTML' , '%s-man.html' % man) @@ -460,6 +462,8 @@ for man_1 in man_page_list: tar_deps.append(html) tar_list.append(html) + else: + print "doc: WARNING: no man2html, skipping HTML versions of man pages" if not epydoc_cli: try: |