diff options
author | Glenn Morris <rgm@gnu.org> | 2019-09-15 16:36:06 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2019-09-15 16:36:06 -0700 |
commit | 84c7d4bccca41810ae28e3f13382b1021502cb4b (patch) | |
tree | 657ff99d01fe2b6801dd0f7bd182eb57b4ec763b /admin/upload-manuals | |
parent | b3e4b50578778e03327b049f7a595981bfbf3713 (diff) | |
download | emacs-84c7d4bccca41810ae28e3f13382b1021502cb4b.tar.gz |
* admin/upload-manuals: Move a basic check earlier.
Diffstat (limited to 'admin/upload-manuals')
-rwxr-xr-x | admin/upload-manuals | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/admin/upload-manuals b/admin/upload-manuals index 08b47d741d7..e37128a2076 100755 --- a/admin/upload-manuals +++ b/admin/upload-manuals @@ -87,6 +87,9 @@ OPTIND=1 [ $# -eq 1 ] || usage +[ -e html_mono/emacs.html ] && [ -e html_node/emacs/index.html ] || \ + die "Current directory does not look like the manual/ directory" + [ "$version$umessage" ] || \ die "Could not get version to use for commit message" @@ -95,9 +98,6 @@ webdir=$1 [ -e $webdir/CVS/Entries ] && [ -e $webdir/refcards/pdf/refcard.pdf ] || \ die "$webdir does not look like a checkout of the Emacs webpages" -[ -e html_mono/emacs.html ] && [ -e html_node/emacs/index.html ] || \ - die "Current directory does not like the manual/ directory" - echo "Doing refcards..." |