diff options
| author | Glenn Morris | 2019-09-15 16:36:06 -0700 |
|---|---|---|
| committer | Glenn Morris | 2019-09-15 16:36:06 -0700 |
| commit | 84c7d4bccca41810ae28e3f13382b1021502cb4b (patch) | |
| tree | 657ff99d01fe2b6801dd0f7bd182eb57b4ec763b /admin | |
| parent | b3e4b50578778e03327b049f7a595981bfbf3713 (diff) | |
| download | emacs-84c7d4bccca41810ae28e3f13382b1021502cb4b.tar.gz emacs-84c7d4bccca41810ae28e3f13382b1021502cb4b.zip | |
* admin/upload-manuals: Move a basic check earlier.
Diffstat (limited to 'admin')
| -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 | |||
| 87 | 87 | ||
| 88 | [ $# -eq 1 ] || usage | 88 | [ $# -eq 1 ] || usage |
| 89 | 89 | ||
| 90 | [ -e html_mono/emacs.html ] && [ -e html_node/emacs/index.html ] || \ | ||
| 91 | die "Current directory does not look like the manual/ directory" | ||
| 92 | |||
| 90 | [ "$version$umessage" ] || \ | 93 | [ "$version$umessage" ] || \ |
| 91 | die "Could not get version to use for commit message" | 94 | die "Could not get version to use for commit message" |
| 92 | 95 | ||
| @@ -95,9 +98,6 @@ webdir=$1 | |||
| 95 | [ -e $webdir/CVS/Entries ] && [ -e $webdir/refcards/pdf/refcard.pdf ] || \ | 98 | [ -e $webdir/CVS/Entries ] && [ -e $webdir/refcards/pdf/refcard.pdf ] || \ |
| 96 | die "$webdir does not look like a checkout of the Emacs webpages" | 99 | die "$webdir does not look like a checkout of the Emacs webpages" |
| 97 | 100 | ||
| 98 | [ -e html_mono/emacs.html ] && [ -e html_node/emacs/index.html ] || \ | ||
| 99 | die "Current directory does not like the manual/ directory" | ||
| 100 | |||
| 101 | 101 | ||
| 102 | echo "Doing refcards..." | 102 | echo "Doing refcards..." |
| 103 | 103 | ||