deployment-script: log files to stderr as they are added
parent
0acb304654
commit
5c881b9710
|
@ -3,6 +3,7 @@ cp html_resources/index_template.html index.html
|
||||||
|
|
||||||
function genlinks {
|
function genlinks {
|
||||||
for FILE in $(find . -maxdepth 1 -type f -name "??-*.html" | sort); do
|
for FILE in $(find . -maxdepth 1 -type f -name "??-*.html" | sort); do
|
||||||
|
echo "$FILE" >&2
|
||||||
echo -ne " <li><a href=\"$FILE\">\n"
|
echo -ne " <li><a href=\"$FILE\">\n"
|
||||||
echo -n " $(sed -e 's|^\./||;s/-.*//' <<< "$FILE") <span class="'"chapter">'
|
echo -n " $(sed -e 's|^\./||;s/-.*//' <<< "$FILE") <span class="'"chapter">'
|
||||||
grep -oe "<title>.*</title>" $FILE | sed -e 's/<title> //;s| </title>|</span>|'
|
grep -oe "<title>.*</title>" $FILE | sed -e 's/<title> //;s| </title>|</span>|'
|
||||||
|
|
Loading…
Reference in New Issue