From f943e8d62fe88b0e387f94f23e1990b996d9f8a3 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 11 Dec 2015 16:13:56 +0100
Subject: 8.5 coqdoc does not want _ to be escaped + more .css classes

---
 etc/utils/builddoc_lib.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'etc/utils')

diff --git a/etc/utils/builddoc_lib.sh b/etc/utils/builddoc_lib.sh
index 0ab4fbd..4a8731f 100644
--- a/etc/utils/builddoc_lib.sh
+++ b/etc/utils/builddoc_lib.sh
@@ -43,7 +43,9 @@ sed -r -e '
 	/\(\*\*/,/\*\*\)/s/\$/$$/g;
 	/\(\*\*/,/\*\*\)/s/\[/#[#/g;
 	/\(\*\*/,/\*\*\)/s/]/#]#/g;
-	/\(\*\*/,/\*\*\)/s/\_/#\_#/g;
+
+	# only in 8.4
+        #	/\(\*\*/,/\*\*\)/s/\_/#\_#/g;
 
 	# the lexer glues sharp with other symbols
 	/\(\*\*/,/\*\*\)/s/([^A-Za-z0-9 ])#\[#/\1 #[#/g;
-- 
cgit v1.2.3