/
githubmirror
/
ostree
Обзор
Документация
Войти
/
githubmirror
/
ostree
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
main
docs/prep-docs.sh
37 строк
992 B
Dan Nicholson
docs: Publish man pages
09 апр 2022, 04:25
09 апр 2022, 04:25
9b6a817
Код
Авторство
О чём код?
#!/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"