Fix a regexp in HTML and DocBook exporters
treeeca11269defbef4a6c3fb8a74fba34f38bb303f2
-rw-r--r-- 75 .dir-locals.el
-rw-r--r-- 75 .dir-settings.el
-rw-r--r-- 772 .gitignore
-rw-r--r-- 93 .gitmodules
drwxr-xr-x - BUGFIXING
drwxr-xr-x - EXPERIMENTAL
-rw-r--r-- 14752 Makefile
-rw-r--r-- 1138 README
-rw-r--r-- 1051 README_DIST
-rw-r--r-- 3522 README_GIT
-rw-r--r-- 11757 README_maintainer
drwxr-xr-x - UTILITIES
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - lisp
-rw-r--r-- 1007 request-assign-future.txt
drwxr-xr-x - testing