meso-web

Sources of the |Méso|Star> website
git clone git://git.meso-star.fr/meso-web.git
Log | Files | Refs | README | LICENSE

commit ede781f78f1a549a800653c0605ec254a1b35e5e
parent 20c4e981a4561d93110616883997e9515a34923f
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Tue, 24 Nov 2020 16:47:10 +0100

Update the stardis content

Diffstat:
Mstardis/Makefile | 4++--
Astardis/downloads/Stardis-0.11.0-GNU-Linux64.tar.gz | 2++
Astardis/downloads/Stardis-0.11.0-Sources.tar.gz | 2++
Mstardis/stardis.html.in | 5++---
Mstardis/stardis.sh | 37++++++++++++++++++++++++++++++++++++-
5 files changed, 44 insertions(+), 6 deletions(-)

diff --git a/stardis/Makefile b/stardis/Makefile @@ -1,4 +1,4 @@ -# Copyright (C) 2017-2019 |Meso|Star> +# Copyright (C) 2017-2020 |Meso|Star> # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -13,7 +13,7 @@ # You should have received a copy of the GNU General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. -STARDIS-VERSION=0.10.1 +STARDIS-VERSION=0.11.0 SRC = stardis.html.in green_script.js IMG = foam.png IGBT.png syrthes.png diff --git a/stardis/downloads/Stardis-0.11.0-GNU-Linux64.tar.gz b/stardis/downloads/Stardis-0.11.0-GNU-Linux64.tar.gz @@ -0,0 +1 @@ +#$# git-wad 2a1ae59e6e148ef8c8eb3abd0077ddd273d4fb9ad744244f87fd988e719150c1 22243455 +\ No newline at end of file diff --git a/stardis/downloads/Stardis-0.11.0-Sources.tar.gz b/stardis/downloads/Stardis-0.11.0-Sources.tar.gz @@ -0,0 +1 @@ +#$# git-wad a253b607ff7fca4f0dc8fd30b7cfdceba38e6debdf9e13831d89877d1e6f4acc 870135 +\ No newline at end of file diff --git a/stardis/stardis.html.in b/stardis/stardis.html.in @@ -12,10 +12,9 @@ <li>GNU/Linux: <a href="downloads/Stardis-${VERSION}-GNU-Linux64.tar.gz">tarball</a> / <a href="downloads/Stardis-${VERSION}-GNU-Linux64.tar.gz.sig">pgp</a></li> - <ul> <li>Sources: - <a href="downloads/Stardis-${VERSION}-Sources.zip">zip</a> / - <a href="downloads/Stardis-${VERSION}-Sources.zip.sig">pgp</a></li> + <a href="downloads/Stardis-${VERSION}-Sources.tar.gz">tarball</a> / + <a href="downloads/Stardis-${VERSION}-Sources.tar.gz.sig">pgp</a></li> </ul> </div> diff --git a/stardis/stardis.sh b/stardis/stardis.sh @@ -1,6 +1,6 @@ #!/bin/bash -# Copyright (C) 2017-2019 |Meso|Star> +# Copyright (C) 2017-2020 |Meso|Star> # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -24,6 +24,14 @@ if [ $# -lt 1 ]; then exit 1 fi +if [ ! -f "./downloads/Stardis-$1-GNU-Linux64.tar.gz" ]; then + echo "Cannot find ./downloads/Stardis-$1-GNU-Linux64.tar.gz" + exit 1 +fi + +dir_curr=$(pwd) # Current directory +dir_temp=$(mktemp -d) # Working directory + ################################################################################ # Sign the package ################################################################################ @@ -46,6 +54,15 @@ fi echo "" ################################################################################ +# Extract the current archive +################################################################################ +cd $dir_temp +arch=Stardis-$1-GNU-Linux64 +cp "$dir_curr/downloads/$arch.tar.gz" . +tar xzf $arch.tar.gz +cd $dir_curr + +################################################################################ # Generate the overview page ################################################################################ tput bold; echo ">>> Generate the Stardis web pages"; tput sgr0 @@ -67,3 +84,21 @@ echo "Write stardis-downloads.html" print_footer; } > stardis-downloads.html; +################################################################################ +# Generate the reference documentation +################################################################################ +for((i=0; i<${#stardis_man_pages[@]}; ++i)); do + entry=(${stardis_man_pages[$i]}) + man_name=${entry[0]} + man_num=${entry[1]} + 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 Stardis "$man_path" "$output" $1 + + if [ "$man_name" == "stardis" ]; then + # Patch the htpp hyperlink + sed -i 's/<A HREF="\.\.\/man1\/htpp\.1\.html">/<A HREF="..\/..\/..\/high-tune\/man\/man1\/htpp.1.html">/g' $output + fi + +done +