diff --git a/Old_Packages/Doc23/doc_tex/kernel/main.tex b/Old_Packages/Doc23/doc_tex/kernel/main.tex index d489187c1c6..3db590dba9a 100644 --- a/Old_Packages/Doc23/doc_tex/kernel/main.tex +++ b/Old_Packages/Doc23/doc_tex/kernel/main.tex @@ -1,4 +1,3 @@ \input{user_manual} -\lcHtml{\input{kernel_overview}} \input{Ref/main.tex} diff --git a/Packages/Kernel_23/doc_tex/kernel/main.tex b/Packages/Kernel_23/doc_tex/kernel/main.tex index d489187c1c6..3db590dba9a 100644 --- a/Packages/Kernel_23/doc_tex/kernel/main.tex +++ b/Packages/Kernel_23/doc_tex/kernel/main.tex @@ -1,4 +1,3 @@ \input{user_manual} -\lcHtml{\input{kernel_overview}} \input{Ref/main.tex}