- if (!b->isSGML()) {
- if (b && !b->tmppath.empty() && b->niceFile) {
- incfile = subst(incfile, '/','@');
- writefile = AddName(b->tmppath, incfile);
- } else
- writefile = getFileName();
- } else {
+ if (b && !b->tmppath.empty() && b->niceFile && !isVerbatim()) {
+ incfile = subst(incfile, '/','@');
+ writefile = AddName(b->tmppath, incfile);
+ } else