plint_extra

various extra tools around plint
git clone https://a3nm.net/git/plint_extra/
Log | Files | Refs | README

make_poem.sh (121B)

      1 #!/bin/bash
      2 
      3 DIR="$( cd "$( dirname "$0" )" && pwd )"
      4 
      5 cat $DIR/top.html
      6 cat $1 | $DIR/make_poem.pl
      7 cat $DIR/bottom.html