aboutsummaryrefslogtreecommitdiffhomepage
path: root/phox
diff options
context:
space:
mode:
authorGravatar Clément Pit-Claudel <cpitclaudel@gmail.com>2017-05-05 10:22:25 -0400
committerGravatar GitHub <noreply@github.com>2017-05-05 10:22:25 -0400
commit409a116b00a2208e0fbc528981176d29c7966db6 (patch)
tree64131a91074063c119f10aa63d044d3011813c47 /phox
parent8038b7270e7fd9752a62be2b4e59f26b8d0e48dc (diff)
parentf607be020b5d5ebbca5a5b8a2cea2e234cace966 (diff)
Merge pull request #157 from ProofGeneral/elpa
[WIP] ELPA/MELPA support
Diffstat (limited to 'phox')
-rw-r--r--phox/phox-tags.el6
-rw-r--r--phox/phox.el2
2 files changed, 4 insertions, 4 deletions
diff --git a/phox/phox-tags.el b/phox/phox-tags.el
index 603622a6..73ed659b 100644
--- a/phox/phox-tags.el
+++ b/phox/phox-tags.el
@@ -18,9 +18,9 @@
(require 'etags)
(eval-when-compile
- (defvar phox-doc-dir nil)
- (defvar phox-lib-dir nil)
- (defvar phox-etags nil))
+ (defvar phox-doc-dir)
+ (defvar phox-lib-dir)
+ (defvar phox-etags))
(defun phox-tags-add-table(table)
diff --git a/phox/phox.el b/phox/phox.el
index 27b9cac0..79b8e747 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -7,7 +7,7 @@
;; loaded).
(eval-when-compile
- (defvar phox-toolbar-entries nil))
+ (defvar phox-toolbar-entries))
(eval-after-load "pg-custom"
'(setq phox-toolbar-entries