diff options
Diffstat (limited to 'doxygen')
| -rw-r--r-- | doxygen/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doxygen/Makefile b/doxygen/Makefile index 0a95a3516a21..01c2691cfe00 100644 --- a/doxygen/Makefile +++ b/doxygen/Makefile @@ -33,3 +33,4 @@ subset: $(SUBSET:.doxy=.tag) clean: -rm -rf $(FULL:.doxy=) $(SUBSET:.doxy=) -rm -rf *.tag + -rm -rf *.db |