diff --git a/.gitattributes b/.gitattributes
index 4d4c45b9441..65bd89ecb9f 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -1627,6 +1627,7 @@ Installation/config/support/print_ZLIB_version.cpp -text
 Installation/config/support/test_BOOST_THREAD.cpp -text
 Installation/config/testfiles/CGAL_CFG_NO_CPP0X_ISFINITE.cpp -text
 Installation/doc_tex/Installation/illustration.png -text
+Installation/html2textrc -text
 Installation/src/CGAL/all_files.cpp -text
 Installation/src/CMakeLists.txt -text
 Installation/test/Installation/CMakeLists.txt -text
diff --git a/Installation/html2textrc b/Installation/html2textrc
new file mode 100644
index 00000000000..b37c95046dc
--- /dev/null
+++ b/Installation/html2textrc
@@ -0,0 +1,31 @@
+BODY.indent=2
+
+#release line
+H2.prefix = -------------------------------- 
+H2.suffix = \ --------------------------------
+H2.vspace.before= 1
+H2.vspace.after= 1
+
+#package line or chapter line
+H3.prefix = * 
+H3.suffix = 
+H3.vspace.before= 1
+H3.vspace.after= 0
+
+#package line when chapter line is present
+H4.prefix = \ ** 
+H4.suffix = 
+H4.vspace.before= 1
+H4.vspace.after= 0
+
+#UL environment
+UL.indents=2
+UL.vspace.before = 1
+UL.vspace.after = 1
+UL.vspace.between = 1
+UL.default_types = CUSTOM1 CUSTOM2 CUSTOM3
+LI.custom1_bullet= \  -
+LI.custom2_bullet= \  -
+LI.custom3_bullet= \  -
+
+