diff options
Diffstat (limited to 'schemas')
| -rw-r--r-- | schemas/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/schemas/Makefile.in b/schemas/Makefile.in index 3451d987..b7dae635 100644 --- a/schemas/Makefile.in +++ b/schemas/Makefile.in @@ -31,6 +31,9 @@ all:: ${abs_top_srcdir}/rpki/relaxng.py ${abs_top_srcdir}/rpki/sql_schemas.py install clean test distclean deinstall uninstall:: @true +distclean:: + rm -f Makefile + RNGS = relaxng/left-right-schema.rng \ relaxng/up-down-schema.rng \ relaxng/publication-schema.rng \ |