1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 2b8bfe2163..104c9268a9 100644
--- a/Makefile
+++ b/Makefile
@@ -567,6 +567,8 @@ wellfounded: $(WELLFOUNDEDVO)
 reals: $(REALSVO)
 sorting: $(SORTINGVO)
 
+noreal: logic arith bool zarith lists sets intmap relations wellfounded sorting
+
 # globalizations (for coqdoc)
 
 glob.dump::