2019-08-06 04:31:34 -07:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
cat <<EndOfHeader
|
|
|
|
|
|
|
|
Index of ZIPs
|
|
|
|
-------------
|
|
|
|
|
2019-08-24 05:56:44 -07:00
|
|
|
.. raw:: html
|
|
|
|
|
|
|
|
<embed><table>
|
|
|
|
<tr> <th>ZIP</th> <th>Title</th> <th>Status</th> </tr>
|
2019-08-06 04:31:34 -07:00
|
|
|
EndOfHeader
|
2019-08-24 05:56:44 -07:00
|
|
|
for zipfile in zip-*.rst; do
|
2019-11-17 09:30:45 -08:00
|
|
|
echo Adding $zipfile to index. >/dev/stderr
|
2019-08-24 02:50:03 -07:00
|
|
|
if grep -E '^\s*Status:\s*(Withdrawn|Rejected|Obsolete)' $zipfile >/dev/null; then
|
2020-01-24 07:23:08 -08:00
|
|
|
echo " <tr> <td><strike>`basename $zipfile .rst | sed -E 's@zip-0{0,3}@@'`</strike></td> <td class=\"left\"><strike><a href=\"`echo $zipfile`\">`grep '^\s*Title:' $zipfile | sed -E 's@\s*Title:\s*@@'`</a></strike></td> <td>`grep '^\s*Status:' $zipfile | sed -E 's@\s*Status:\s*@@'`</td>"
|
2019-08-24 02:50:03 -07:00
|
|
|
else
|
2020-01-24 07:23:08 -08:00
|
|
|
echo " <tr> <td>`basename $zipfile .rst | sed -E 's@zip-0{0,3}@@'`</td> <td class=\"left\"><a href=\"`echo $zipfile`\">`grep '^\s*Title:' $zipfile | sed -E 's@\s*Title:\s*@@'`</a></td> <td>`grep '^\s*Status:' $zipfile | sed -E 's@\s*Status:\s*@@'`</td>"
|
2019-08-24 02:50:03 -07:00
|
|
|
fi
|
2019-08-06 04:31:34 -07:00
|
|
|
done
|
2019-08-24 05:56:44 -07:00
|
|
|
echo " </table></embed>"
|