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