Cleanup top-level dir #69

diff --git a/Makefile b/Makefile
index a07392502f72ef4e253a8587e7557a8a74f43ee6..cf5c48c7a95f1e45a04b962103b58aecd641f550 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -28,7 +28,7 @@ build: $(VERFILE)
 
 test tests: build
        dist/build/dyna-selftests/dyna-selftests
-       ./run-doctests.py
+       misc/dyna-doctest.py
        # cabal test
 
 # Compilation takes a while; for faster iteration while developing,
@@ -141,6 +141,6 @@ tags TAGS:
        hasktags -b src
 
 coverage:
-       (coverage run run-doctests.py \
-        ; coverage html --include 'src/*' -d coverage-report \
+       (coverage run --rcfile misc/coveragerc misc/dyna-doctest.py \
+        ; coverage html --rcfile misc/coveragerc --include 'src/*' -d coverage-report \
         ; gnome-open coverage-report/index.html)

diff --git a/.coveragerc b/misc/coveragerc
similarity index 100%
rename from .coveragerc
rename to misc/coveragerc

diff --git a/run-doctests.py b/misc/dyna-doctest.py
similarity index 100%
rename from run-doctests.py
rename to misc/dyna-doctest.py