blob: 9c0bd29bd857d8f9bae2e7296fb8e6578a3c93ba (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# This script is for George only, so recognize my machine :)
if [ ! -d /home/jirka/ -o ! -d /home/devgnome/ ]; then
echo "Only George wants to run this script (it's for updating the gdm webpage)"
exit
fi
echo rm -f *.html *.pdf
rm -f *.html *.pdf
echo docbook2html gdm.xml
docbook2html gdm.xml
echo docbook2pdf gdm.xml
docbook2pdf gdm.xml
echo scp *.html zinc.5z.com:/home/www/html/jirka/gdm-documentation/
scp *.html zinc.5z.com:/home/www/html/jirka/gdm-documentation/
echo scp gdm.pdf zinc.5z.com:/home/www/html/jirka/gdm-reference.pdf
scp gdm.pdf zinc.5z.com:/home/www/html/jirka/gdm-reference.pdf
|