From 3bacbbe4688dfcc63d8d526aba440566f97ec892 Mon Sep 17 00:00:00 2001 From: Nada Amin Date: Fri, 25 Apr 2014 02:08:26 +0200 Subject: [PATCH] coq: fix backslash escaping in documentation. We want to output "\\.v$" so we need to write "\\\\.v$". Closes Homebrew/homebrew#28693. Signed-off-by: Jack Nagel --- Formula/coq.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Formula/coq.rb b/Formula/coq.rb index 0928e5a939..c95211d8bb 100644 --- a/Formula/coq.rb +++ b/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