diff --git a/htdocs/.gitignore b/htdocs/.gitignore
index aa007a70ae5..ac35d8fab2f 100644
--- a/htdocs/.gitignore
+++ b/htdocs/.gitignore
@@ -28,4 +28,3 @@
 /nomenclature*
 /of/
 /workstation/
-/theme/dolipro*
\ No newline at end of file