Revízia 1.1, Fri Aug 27 19:12:52 2004 UTC (20 years, 1 month ago) by nepto
Temporary README extractor
#!/bin/sh # Temporary README extractor cat doc/html/files.html \ | sed 's/<[^>]*>//g; s/^ *//g' \ | grep ^platon \ | sed 's/\[code\]/-- /g';