diff options
| -rw-r--r-- | scripts/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index 1a182385..71976971 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -17,3 +17,6 @@ up-down-schema.rng: up-down-schema.rnc test: all python xml-parse-test.py + +dont-run-trang: + touch *.rng |