commit ccae20d62fcc4e033956fc56e7d44c4ea635134c
parent f04cf9f4f054949876fa32356adbc23bd6f623dd
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Fri, 18 Feb 2022 15:57:25 +0100
Small update of the convert_man.sh script
Diffstat:
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/convert_man.sh b/convert_man.sh
@@ -35,7 +35,7 @@ man_section=$(echo "${input}" \
{
print_header "${section}" "man-${man_name}"
echo "<div style=\"font-variant: small-caps; float: right; color: #777777\">"
- echo "${man_section} ${version}</div>";
+ echo "${section} ${version}</div>";
echo "<header>"
echo " <h1>${man_name}(${man_section})</h1>";
echo "</header>"
@@ -66,5 +66,3 @@ sed -i 's/<A HREF="\.\.\/man2\/sqrt\.2\.html">sqrt<\/A>/sqrt/g' "${output}"
# Fix the man2html issues that translates the ' char in cq
sed -i "s/cq\([a-z]\)\>/'\1/g" "${output}"
-
-