1
0
mirror of git://git.gnupg.org/gnupg.git synced 2024-06-14 00:19:50 +02:00

doc: Make uploading of 2.2 manuals easier

--
This commit is contained in:
Werner Koch 2022-10-28 11:46:25 +02:00
parent 44dc253c4c
commit 12273efdf4
No known key found for this signature in database
GPG Key ID: E3FDFF218E45B72B

View File

@ -206,8 +206,8 @@ online: gnupg.html gnupg.pdf gnupg-module-overview.png \
if echo "@PACKAGE_VERSION@" | grep -- "-beta" >/dev/null; then \
dashdevel="-devel" ; \
else \
rsync -v gnupg.pdf $${user}@$${webhost}:webspace/manuals/ ; \
rsync -v gnupg.pdf $${user}@$${webhost}:webspace/manuals/gnupg-2.2.pdf ; \
fi ; \
cd gnupg.html ; \
rsync -vr --exclude='.git' . \
$${user}@$${webhost}:webspace/manuals/gnupg$${dashdevel}/
$${user}@$${webhost}:webspace/manuals/gnupg-2.2$${dashdevel}/