<wib_jonas> `` f=/hackenv/bin/dateu; >$f echo $\'#!/bin/bash\\nset -e\\nif (( 1 < $# )); then echo "dateu error: too many command-line arguments. Usage: dateu datetimestring"; exit 2; fi\\nexec date -u ${1:+-d "$1"} "+%Y-%m-%d %H:%M:%S.%3N %z %Z %B %-e %A %G-W%V-%u"\'; chmod a+x "$f"

run.o: run.c config.h IO.h Str.h atechit.h expr.h op.h re.h stack.h \
  xmalloc.h strhash.h val.h kork.h list.h sub.h variable.h hang.h main.h \
  main_io.h main_label.h mars.h venus.h hash.h main_opt.h run.h text.h \
  zz.h