mirror of
https://github.com/gbdev/rgbds.git
synced 2025-12-02 07:47:49 +00:00
37e45de9c1
Make links to other man pages work Add a table of contents to rgbasm(5) Make the OS at the bottom of all pages 'Linux' Apply post-processor that used to be used
102 lines
2.3 KiB
Bash
Executable File
102 lines
2.3 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
usage() {
|
|
cat <<EOF
|
|
Usage: $0 [-h] [-r] <rgbds-www> <version>
|
|
Copy renders from RGBDS repository to rgbds-www documentation
|
|
Execute from the root folder of the RGBDS repo, checked out at the desired tag
|
|
<rgbds-www> : Path to the '_documentation' folder in the rgbds-www repository
|
|
<version> : Version to be copied, such as 'v0.4.1' or 'master'
|
|
|
|
-h Display this help message
|
|
-r Update "latest stable" redirection pages (use for releases, not master)
|
|
EOF
|
|
}
|
|
|
|
update_redirects=0
|
|
bad_usage=0
|
|
while getopts ":hr" opt; do
|
|
case $opt in
|
|
r)
|
|
update_redirects=1
|
|
;;
|
|
h)
|
|
usage
|
|
exit 0
|
|
;;
|
|
\?)
|
|
echo "Unknown option '$OPTARG'"
|
|
if [ $bad_usage -eq 0 ]; then
|
|
usage
|
|
bad_usage=1
|
|
fi
|
|
;;
|
|
esac
|
|
done
|
|
if [ $bad_usage -ne 0 ]; then
|
|
exit 1
|
|
fi
|
|
shift $(($OPTIND - 1))
|
|
|
|
|
|
declare -A PAGES
|
|
PAGES=(
|
|
[rgbasm.1.html]=src/asm/rgbasm.1
|
|
[rgbasm.5.html]=src/asm/rgbasm.5
|
|
[rgblink.1.html]=src/link/rgblink.1
|
|
[rgblink.5.html]=src/link/rgblink.5
|
|
[rgbfix.1.html]=src/fix/rgbfix.1
|
|
[rgbgfx.1.html]=src/gfx/rgbgfx.1
|
|
[rgbds.5.html]=src/rgbds.5
|
|
[rgbds.7.html]=src/rgbds.7
|
|
[gbz80.7.html]=src/gbz80.7
|
|
)
|
|
WWWPATH="/docs"
|
|
mkdir -p "$1/$2"
|
|
|
|
# `mandoc` uses a different format for referring to man pages present in the **current** directory
|
|
# We want that format for RGBDS man pages, and the other one for the t=rest;
|
|
# we thus need to copy all pages to a temporary directory, and process them there.
|
|
|
|
# Copy all pages to current dir
|
|
cp "${PAGES[@]}" .
|
|
|
|
for page in "${!PAGES[@]}"; do
|
|
stem="${page%.html}"
|
|
manpage="${stem%.?}(${stem#*.})"
|
|
descr="$(awk -v 'FS=.Nd ' '/.Nd/ { print $2; }' "${PAGES[$page]}")"
|
|
|
|
cat - >"$1/$2/$page" <<EOF
|
|
---
|
|
layout: doc
|
|
title: $manpage [$2]
|
|
description: RGBDS $2 — $descr
|
|
---
|
|
EOF
|
|
options=fragment,man='%N.%S.html;https://linux.die.net/man/%S/%N'
|
|
if [ $stem = rgbasm.5 ]; then
|
|
options+=,toc
|
|
fi
|
|
mandoc -Thtml -I os=Linux -O$options "${PAGES[$page]##*/}" | src/doc_postproc.awk >> "$1/$2/$page"
|
|
if [ $update_redirects -ne 0 ]; then
|
|
cat - >"$1/$page" <<EOF
|
|
---
|
|
redirect_to: $WWWPATH/$2/$page
|
|
permalink: $WWWPATH/$page
|
|
title: $manpage [latest stable]
|
|
description: RGBDS latest stable — $descr
|
|
---
|
|
EOF
|
|
fi
|
|
done
|
|
cat - >"$1/$2/index.html" <<EOF
|
|
---
|
|
layout: doc_index
|
|
title: RGBDS online manual [$2]
|
|
description: RGBDS $2 - Online manual
|
|
---
|
|
EOF
|
|
|
|
# Clean up
|
|
rm "${PAGES[@]##*/}"
|