wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

coq: fix backslash escaping in documentation.

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

Closes Homebrew/homebrew#28693.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
This commit is contained in:
Nada Amin 2014-04-25 02:08:26 +02:00 committed by Jack Nagel
parent 150eec20f4
commit 3bacbbe468
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Formula/coq.rb
View file

@ -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