#!/bin/bash

#!/bin/bash

FILENAME="out/index.html"

echo "" > $FILENAME
echo "<html><head><title>Index</title></head>" >> $FILENAME 
echo "<body><h1>Index</h1>" >> $FILENAME
echo "<ul>" >> $FILENAME


for UE in notes/* ;
do
    NOM_UE=$(echo $UE | sed -E "s/.*\/(.*)/\1/g")
    echo "<li><a href=\"ue_$NOM_UE.html\">$NOM_UE</a></li>" >> $FILENAME
done 


echo "</ul>" >> $FILENAME
echo "</body></html>" >> $FILENAME

