commit 8b3455726e6c846a0fc9970831463fd13b2b3950 parent f0c0a0bcbd6837d14f4866fe218c49da8525298b Author: Vincent Forest <vincent.forest@meso-star.com> Date: Fri, 21 Dec 2018 11:43:59 +0100 Patch the les2htcp man pages Diffstat:
| M | high-tune/DZVAR2.jpg | | | 0 | |
| M | high-tune/L12km_BOMEX.jpg | | | 0 | |
| M | high-tune/L25_Fire.jpg | | | 0 | |
| M | high-tune/high-tune.sh | | | 6 | ++++++ |
4 files changed, 6 insertions(+), 0 deletions(-)
diff --git a/high-tune/DZVAR2.jpg b/high-tune/DZVAR2.jpg Binary files differ. diff --git a/high-tune/L12km_BOMEX.jpg b/high-tune/L12km_BOMEX.jpg Binary files differ. diff --git a/high-tune/L25_Fire.jpg b/high-tune/L25_Fire.jpg Binary files differ. diff --git a/high-tune/high-tune.sh b/high-tune/high-tune.sh @@ -87,5 +87,11 @@ for((i=0; i<${#high_tune_man_pages[@]}; ++i)); do man_path="$dir_temp/$arch/share/man/man${entry[1]}/$man_name.$man_num" output="man/man${entry[1]}/$man_name.$man_num.html" convert_man_page High-Tune "$man_path" "$output" $1 + + if [ "$man_name" == "les2htcp" ]; then + # Add spaces missing after the man2html conversion + sed -i 's/<\/I><B>or<\/B><I>/<\/I> <B>or<\/B> <I>/g' $output + sed -i 's/<\/I><B>and<\/B><I>/<\/I> <B>and<\/B> <I>/g' $output + fi done
