githubmirror/ostree

docs/prep-docs.sh

37 строк992 B

Dan Nicholson

docs: Publish man pages

09 апр 2022, 04:25

09 апр 2022, 04:259b6a817

#!/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"