File: load_upstream

package info (click to toggle)
pgdocs 7.2-3
  • links: PTS
  • area: main
  • in suites: woody
  • size: 12,752 kB
  • ctags: 5
  • sloc: sh: 42; makefile: 32
file content (24 lines) | stat: -rwxr-xr-x 498 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#! /bin/bash
# Load pgdocs preformatted documentation from upstream
if [ -n "$1" ]
then
	MIRROR=$1
else
	MIRROR=postgresql.rmplc.co.uk
fi

if [ ! -x /usr/bin/wget ]
then
	echo This script needs the wget package installed
	exit 1
fi

if [ -d debian -a `basename $PWD | cut -d - -f1` = pgdocs ]
then
	/usr/bin/wget -N -g on --reject .tar.gz ftp://${MIRROR}/pub/postgresql/doc/7.2/*
else
	echo This script expects to be run from the top-level directory of the
	echo pgdocs source package.
	exit 1
fi