diff options
-rw-r--r-- | rpkid/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rpkid/Makefile b/rpkid/Makefile index fc49fe0f..a4b74936 100644 --- a/rpkid/Makefile +++ b/rpkid/Makefile @@ -35,6 +35,7 @@ publication-schema.rng: publication-schema.rnc clean: find . -type f -name '*.pyc' -delete + rm -rf testbed.dir install: @true |