File: gen_html

package info (click to toggle)
pyke 1.1.1-3
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 4,456 kB
  • sloc: python: 12,872; sh: 441; xml: 203; sql: 39; makefile: 39
file content (28 lines) | stat: -rwxr-xr-x 373 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
 
#!/bin/bash

# gen_html

# This must be executed in the doc/source directory!

if ! expr `pwd` : '.*/doc/source$' > /dev/null
then
    echo "gen_html: must be executed in doc/source directory" >&2
    exit 2
fi

set -e

bin/add_links

(cd ..; r2w r2w.ini)
status=$?

bin/strip_links

if [ "$status" -ne 0 ]
then
    exit $status
fi

bin/make_sitemap > ../html/sitemap.xml