From c3eb49562752b1e3c57c691fe7d2b65cb7e19f92 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 19 Apr 2010 17:20:07 -0400 Subject: [PATCH] Fix this file to delete output.txt when it's done. --- collects/teachpack/2htdp/scribblings/.gitignore | 1 - collects/teachpack/2htdp/scribblings/batch-io.scrbl | 2 ++ 2 files changed, 2 insertions(+), 1 deletion(-) delete mode 100644 collects/teachpack/2htdp/scribblings/.gitignore diff --git a/collects/teachpack/2htdp/scribblings/.gitignore b/collects/teachpack/2htdp/scribblings/.gitignore deleted file mode 100644 index 8617481f53..0000000000 --- a/collects/teachpack/2htdp/scribblings/.gitignore +++ /dev/null @@ -1 +0,0 @@ -output.txt diff --git a/collects/teachpack/2htdp/scribblings/batch-io.scrbl b/collects/teachpack/2htdp/scribblings/batch-io.scrbl index 272e929fa1..11ecdda6b4 100644 --- a/collects/teachpack/2htdp/scribblings/batch-io.scrbl +++ b/collects/teachpack/2htdp/scribblings/batch-io.scrbl @@ -139,3 +139,5 @@ There is only one writer function at the moment: } ] +@(delete-file "output.txt") +