diff options
Diffstat (limited to 'default.0.do')
| -rw-r--r-- | default.0.do | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/default.0.do b/default.0.do deleted file mode 100644 index e40b50c..0000000 --- a/default.0.do +++ /dev/null @@ -1,9 +0,0 @@ -if test -r "$2=0" -then - dependon "$2=0" - dependon `cat "$2=0"` - nroff -man `cat "$2=0"` - formake nroff -man `cat "$2=0"` '>' $1 -else - nosuchtarget -fi |