view bin/maketext @ 369:b30df78e892e

<elliott> pastelogs proofgeneral
author HackBot
date Mon, 30 Apr 2012 23:15:13 +0000
parents 6d0bc93c8060
children
line wrap: on
line source

#!/bin/bash
X=`ls maketext | wc -l`; echo "$1" > maketext/$X; echo $X