diff options
| author | Bastien Nocera <hadess@hadess.net> | 2019-10-22 11:35:05 +0200 |
|---|---|---|
| committer | Bastien Nocera <hadess@hadess.net> | 2019-10-22 11:35:05 +0200 |
| commit | 67c8534e0c9e665f85ce60e7a0ed2be697d9235f (patch) | |
| tree | 3e8067ddb4dd2fe30018fa3806b7696350870b73 /web-export | |
| parent | 4f84140821c0f1c069aeae036eb3203c56950122 (diff) | |
web-export: Remove upload scripts
It shouldn't be needed now that the CI is used to generate the
specifications.
Diffstat (limited to 'web-export')
| -rw-r--r-- | web-export/README | 12 | ||||
| -rwxr-xr-x | web-export/upload.sh | 10 |
2 files changed, 6 insertions, 16 deletions
diff --git a/web-export/README b/web-export/README index fbec5d5..5638216 100644 --- a/web-export/README +++ b/web-export/README @@ -1,14 +1,14 @@ This directory contains the files used to export the specifications on http://specifications.freedesktop.org/ -It's mostly three files: +It's mostly 2 files: - - specs.idx: information on where to fetch specific versions of different + - `specs.idx`: information on where to fetch specific versions of different specifications (usually from git) - - update.py: hacky script that uses specs.idx and creates html pages + - `update.py`: hacky script that uses specs.idx and creates html pages - - upload.sh: upload the generated files onto the website. - -To publish a new or updated spec, add an entry into specs.idx, commit, run ./update.py, then use ./upload.sh <username> <subdir> +To publish a new or updated spec, add an entry into specs.idx, and file a +merge request. Once merged, the files will be automatically exported after +building through the continuous integration. diff --git a/web-export/upload.sh b/web-export/upload.sh deleted file mode 100755 index 3c3ac72..0000000 --- a/web-export/upload.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh - -if [ $# -lt 2 ]; then - echo "Usage: $0 <username_on_www> <subdir>" - exit 1 -fi -rsync --progress -v -a -e "ssh -x" "$2" $1@www.freedesktop.org:/srv/specifications.freedesktop.org/www/ - -ssh $1@www.freedesktop.org chmod -R g+w /srv/specifications.freedesktop.org/www/"$2" 2>/dev/null - |