DIR CVS
  TEXT forall.pl
  TEXT make.pl
  TEXT tk.pl
  TEXT wc.pl