Fix backslash escaping in documentation.

We want to output "\\.v$" so we need to write "\\\\.v$".