~miro/libi/awk

This directory has the following contents:

  extract-files.awk	extracts lines from a single file and writes them to
			  multiple files (named in the input by lines of the
			  form "> filename")
  iff2arrows.awk	pretty-print arrow information in an IFF file (of a
			  particular, restricted format)
  iff2ipql.awk		convert IFF file to IPQL commands for adding objects
  iffincidences.awk	print number of arrows incident on each box
  iffstats.awk		print statistics of various properties of an IFF file
  ls-lgR.awk		processes output from "ls -lgR" for use by the script
			  ~miro/bin/searchfs

