remove juvix-mode

anoma · Jan 23, 2023 · 17077fb · 17077fb
1 parent b00d4b2
commit 17077fb
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 1,574 deletions.
diff --git a/docs/org/reference/tooling/emacs.org b/docs/org/reference/tooling/emacs.org
@@ -3,11 +3,17 @@
 There is an Emacs mode available for Juvix. Currently, it
 supports syntax highlighting for well-scoped modules.
 
+To get started, clone the Juvix Emacs mode repository:
+
+#+begin_src sh
+git clone https://github.com/anoma/emacs-juvix.git
+#+end_src
+
 To install it add the following lines to your
 Emacs configuration file:
 
 #+begin_src elisp
-(push "/path/to/juvix/juvix-mode/" load-path)
+(push "/path/to/juvix-mode/" load-path)
 (require 'juvix-mode)
 #+end_src
 

diff --git a/juvix-mode/flycheck-juvix.el b/juvix-mode/flycheck-juvix.el
diff --git a/juvix-mode/juvix-customize.el b/juvix-mode/juvix-customize.el
diff --git a/juvix-mode/juvix-highlight.el b/juvix-mode/juvix-highlight.el