diff --git a/util/LLgen/Makefile b/util/LLgen/Makefile
index 54fc56f96..2c9414884 100644
--- a/util/LLgen/Makefile
+++ b/util/LLgen/Makefile
@@ -27,4 +27,3 @@ opr:
 
 pr:
 	@cd src; make pr
-	@pr lib/incl lib/rec