1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 6206fec..98f31be 100644
--- a/Makefile
+++ b/Makefile
@@ -42,7 +42,7 @@ DO_MAKEINDEX = makeindex -s gind.ist $(subst .dtx,,$<) >/dev/null 2>&1
 
 # Main targets definition
 all: $(GENERATED)
-check: check-regs
+check: check-regs check-attr
 doc: $(COMPILED)
 unpack: $(UNPACKED)
 ctan: check $(CTAN_ZIP)