diff --git a/Doc/lib.tex b/Doc/lib.tex
index 789b905..be53349 100644
--- a/Doc/lib.tex
+++ b/Doc/lib.tex
@@ -77,6 +77,7 @@
 \input{libcopy}
 \input{libmarshal}
 \input{libimp}
+%\input{libni}
 \input{libparser}
 \input{libsymbol}
 \input{libtoken}
diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index 789b905..be53349 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -77,6 +77,7 @@
 \input{libcopy}
 \input{libmarshal}
 \input{libimp}
+%\input{libni}
 \input{libparser}
 \input{libsymbol}
 \input{libtoken}