blob: 5975d5ccc498bf9fe0aa029cd7154287507b34d4 (
plain)
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
29
30
31
32
33
34
35
36
37
|
#!/bin/sh
# Prepare docs directory for running jekyll. This would be better as a
# local Jekyll plugin, but those aren't allowed by the github-pages gem.
set -e
docsdir=$(dirname "$0")
topdir="$docsdir/.."
# Make sure the API docs have been generated and copy them to the
# reference directory.
apidocs="$topdir/apidoc/html"
refdir="$docsdir/reference"
if [ ! -d "$apidocs" ]; then
echo "error: API docs $apidocs have not been generated" >&2
echo "Rebuild with --enable-gtk-doc option" >&2
exit 1
fi
echo "Copying $apidocs to $refdir"
rm -rf "$refdir"
cp -r "$apidocs" "$refdir"
# Make sure the manpages have been generated and copy them to the man
# directory.
manhtml="$topdir/man/html"
mandir="$docsdir/man"
if [ ! -d "$manhtml" ]; then
echo "error: HTML manpages $manhtml have not been generated" >&2
echo "Rebuild with --enable-man option and run `make manhtml`" >&2
exit 1
fi
echo "Copying $manhtml to $mandir"
rm -rf "$mandir"
cp -r "$manhtml" "$mandir"
|
