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