diff --git a/Kernel_23/doc_tex/Kernel_23/PkgDescription.tex b/Kernel_23/doc_tex/Kernel_23/PkgDescription.tex
index d8b23f767c8..0ee18a22f75 100644
--- a/Kernel_23/doc_tex/Kernel_23/PkgDescription.tex
+++ b/Kernel_23/doc_tex/Kernel_23/PkgDescription.tex
@@ -9,6 +9,5 @@ mainly differ in the way they handle robustness issues.}
 %\ccPkgDependsOn{}
 \ccPkgIntroducedInCGAL{0.9}
 \ccPkgLicense{\ccLicenseLGPL}
-\ccPkgDemo{Robustness}{robustness.zip}
 \ccPkgIllustration{Kernel_23/fig/pointSegmentTriangle.png}{Kernel_23/fig/pointSegmentTriangle.png}
 \end{ccPkgDescription}