os << "\\catcode`\\%=11"
"\\def\\%{%}\\catcode`\\%=14\n";
}
- bool const detokenize = !isAscii(from_utf8(docdir));
+ bool const detokenize = !isAscii(from_utf8(docdir))
+ || contains(docdir, '~');
bool const quote = contains(docdir, ' ');
os << "\\makeatletter\n"
<< "\\def\\input@path{{";
* DOCUMENTATION AND LOCALIZATION
-- The Dutch user interface localization has been revived.
+- The Dutch user interface localization has been revived, and the Dutch docs
+ revised.
* BUILD/INSTALLATION
unicodesymbols file, unless it can be encoded in the document encoding
(bug 11586).
+- Fix problems with paths that contain the tilde (~) character.
+
* USER INTERFACE