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") +