diff options
| author | Nada Amin | 2014-04-25 02:08:26 +0200 |
|---|---|---|
| committer | Jack Nagel | 2014-04-25 09:16:58 -0500 |
| commit | 17c7f2e427404603e165aabf59830babb5fd90ed (patch) | |
| tree | 93b23faa0257960b945c5eeefcdc438e96ca06ad | |
| parent | 726d3d9dc8c705c8e55583374ae3043f6ab7b082 (diff) | |
| download | homebrew-17c7f2e427404603e165aabf59830babb5fd90ed.tar.bz2 | |
coq: fix backslash escaping in documentation.
We want to output "\\.v$" so we need to write "\\\\.v$".
Closes #28693.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
| -rw-r--r-- | Library/Formula/coq.rb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index 0928e5a93..c95211d8b 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -46,7 +46,7 @@ class Coq < Formula To use the Coq Emacs mode, you need to put the following lines in your .emacs file: - (setq auto-mode-alist (cons '("\\.v$" . coq-mode) auto-mode-alist)) + (setq auto-mode-alist (cons '("\\\\.v$" . coq-mode) auto-mode-alist)) (autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t) EOS end |