diff options
Diffstat (limited to 'rpkid/Makefile')
| -rw-r--r-- | rpkid/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpkid/Makefile b/rpkid/Makefile index 46a0e86d..72d559c3 100644 --- a/rpkid/Makefile +++ b/rpkid/Makefile @@ -55,7 +55,7 @@ dox doxygen: ${TWEAKHTML} rpki/html/Operation.html | ${HTML2TEXT} >OPERATION tags: - find . -type f -name '*.py' | etags - + find . -type f -name '*.py' ! -name relaxng.py | etags - all:: rpki/relaxng.py |