diff --git a/docs/libs/.gitignore b/docs/libs/.gitignore
index fbb79da7b6..cae085947e 100644
--- a/docs/libs/.gitignore
+++ b/docs/libs/.gitignore
@@ -19,4 +19,3 @@ doc-registry.xml
 
 *-unused.sgml
 *.bak
-*.sgml