Here is an updated patch, that quotes all three makeinfo special characters: @ 
{ }
Tested on a build with source directory /tmp/foo@bar{gee}qux

OK to commit?

Attachment: at.diff
Description: Binary data

Attachment: at.ChangeLog
Description: Binary data

Reply via email to