10 lines
228 B
Bash
Executable file
10 lines
228 B
Bash
Executable file
#!/bin/sh
|
|
echo "<!-- do not edit: generated by make-index -->"
|
|
echo "<ul>"
|
|
for F in tmp/ref-*.xml; do
|
|
F=${F#tmp/}
|
|
F=${F%.xml}
|
|
echo "<li><a href=\"${F}.html\""
|
|
echo " >${F#ref-}</a></li>"
|
|
done
|
|
echo "</ul>"
|