INNER CODE UNIT · TeX

zipfile

zcash/zips · makeindex.sh:101

  zipfile=zips/$zipfile
  if grep -E '^\s*Status:\s*(Withdrawn|Rejected|Obsolete)' $zipfile >/dev/null; then
    echo Adding $zipfile to struck index. >/dev/stderr
    echo "    <tr> <td><strike>`basename $(basename $zipfile .rst) .md | 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>"
  fi
done

cat <<EndOfIndexHeader
  </table></embed>
  </details>

Index of ZIPs
-------------

.. raw:: html

  <embed><table>
    <tr> <th>ZIP</th> <th>Title</th> <th>Status</th> </tr>

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…