Merge pull request idris-hackers#632 from jfdm/revert-regexp

[ fix ] revert regexp for ipkg source dirs.
keram · Jul 4, 2024 · 09de86a · 09de86a
2 parents 38dd238 + ecd9c9b
commit 09de86a
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/idris-ipkg-mode.el b/idris-ipkg-mode.el
@@ -87,8 +87,9 @@
   `(,idris-ipkg-keywords))
 
 (defconst idris-ipkg-sourcedir-re
-  "^sourcedir\\s-*=\\s-*\"?\\([a-zA-Z/0-9]+\\)\"?")
-;; "^\\s-*sourcedir\\s-*=\\s-*\\(\\sw+\\)"
+;;  "^sourcedir\\s-*=\\s-*\"?\\([a-zA-Z/0-9]+\\)\"?"
+ "^\\s-*sourcedir\\s-*=\\s-*\\(\\sw+\\)"
+)
 
 ;;; Completion