in html->texi conversion, an unexpected ";" was left

diff --git a/scripts/build/html-to-texi.py b/scripts/build/html-to-texi.py
index 520c3ecce8d239b7cb9eb72aa9e25e02cc4268ed..a7005ec150b28041022073a4259604cc8cf06970 100644 (file)
--- a/scripts/build/html-to-texi.py
+++ b/scripts/build/html-to-texi.py
@@ -53,7 +53,7 @@ body = re.sub ('(?ms)<DD>(.*?)(</DD>)', r'\1', body)
 body = re.sub ('(?ms)<STRONG>(.*?)(</STRONG>)', r'@strong{\1}', body)
 body = re.sub ('(?ms)<EM>(.*?)(</EM>)', r'@emph{\1}', body)
 
-body = re.sub ('(?ms)&nbsp', r'@tie{}', body)
+body = re.sub ('(?ms)&nbsp;', r'@tie{}', body)
 
 body = re.sub ('(?ms)\cite{(.*?)}', r'[\1]', body)
 body = re.sub ('(?ms)\cite{(.*?)}', r'[\1]', body)