diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-10-05 10:08:49 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-10-05 10:08:49 (GMT) |
| commit | 3f3928b65e67214f1f90329e088d61d888503f7f (patch) | |
| tree | ea507f956194fcdf456199b10a5930aafb3a48db /bin | |
| parent | 84c4a5d24cbef536b8248a3d8ff72bb2b4248c29 (diff) | |
| download | site-3f3928b65e67214f1f90329e088d61d888503f7f.tar.gz | |
build-web-site: Don't copy web/attachments around
Let the build-web-site script grab only the actual Poole source into the
temporary directory.
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build-web-site | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/bin/build-web-site b/bin/build-web-site index 9886b7a..a980080 100755 --- a/bin/build-web-site +++ b/bin/build-web-site | |||
| @@ -14,6 +14,7 @@ | |||
| 14 | 14 | ||
| 15 | set -e | 15 | set -e |
| 16 | set -u | 16 | set -u |
| 17 | umask 022 | ||
| 17 | 18 | ||
| 18 | prefix='/home/plugins' | 19 | prefix='/home/plugins' |
| 19 | 20 | ||
| @@ -37,12 +38,16 @@ else | |||
| 37 | output_dir="$prefix/web/site" | 38 | output_dir="$prefix/web/site" |
| 38 | fi | 39 | fi |
| 39 | 40 | ||
| 40 | # | 41 | # Grab the Poole source of the site. |
| 41 | # Collect the pieces of the site, and create a link to the output directory. | 42 | tar -C "$site_source_dir" -cf - 'input' | tar -C "$site_target_dir" -xpf - |
| 42 | # | 43 | cp "$site_source_dir/macros.py" "$site_target_dir" |
| 43 | rsync -aH "$site_source_dir/" "$site_target_dir" | 44 | cp "$site_source_dir/page.html" "$site_target_dir" |
| 44 | rsync -aH "$man_source_dir/" "$man_target_dir" | 45 | |
| 45 | cp -p "$guidelines_source" "$guidelines_target" | 46 | # Grab the pre-built documentation. |
| 47 | tar -C "$man_source_dir" -cf - '.' | tar -C "$man_target_dir" -xpf - | ||
| 48 | cp "$guidelines_source" "$guidelines_target" | ||
| 49 | |||
| 50 | # Create a link to the output directory. | ||
| 46 | ln -s "$output_dir" "$site_target_dir/output" | 51 | ln -s "$output_dir" "$site_target_dir/output" |
| 47 | 52 | ||
| 48 | # | 53 | # |