From c48ea0669e6f995b25d2b846fbf44486f555e60a Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <ge@gabrielebner.at>
Date: Sun, 16 Mar 2008 22:25:37 +0100
Subject: [PATCH] Various build fixes.

---
 conf/Makefile | 4 ++--
 conf/emacs.el | 9 +++++++++
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/conf/Makefile b/conf/Makefile
index de1d480..25c9b80 100644
--- a/conf/Makefile
+++ b/conf/Makefile
@@ -2,7 +2,7 @@ FILES = ratpoisonrc vimrc Xresources zshrc $(wildcard zfuncs/*) emacs.el \
 	bashrc bash_completion
 
 ifeq "$(USER)" "gebner"
-FILES += muttrc signature.ml gnus.el
+FILES += muttrc gnus.el
 XFILES = xsession
 
 ifeq "$(shell hostname)" "www"
@@ -22,7 +22,7 @@ install: $(FILES) $(XFILES)
 clean:
 	rm -f procmailrc muttrc
 
-check:
+check: $(FILES) $(XFILES)
 	for i in $(FILES) $(XFILES); do diff ~/.$$i $$i; done
 
 procmailrc muttrc: maildirs.m4
diff --git a/conf/emacs.el b/conf/emacs.el
index afa2d08..2e787bb 100644
--- a/conf/emacs.el
+++ b/conf/emacs.el
@@ -52,3 +52,12 @@
  (cons '("\\.ebuild\\'" . ebuild-mode)
        (cons '("\\.eclass\\'" . ebuild-mode)
 	     auto-mode-alist)))
+
+; Agda mode
+(let ((agda-dir "/home/gebner/build/Agda2/src/full/Interaction/emacs-mode/"))
+  (if (file-exists-p agda-dir)
+    (progn
+      (add-to-list 'load-path agda-dir)
+      (autoload 'agda2-mode "agda2-mode" "Agda2 mode." t)
+      (add-to-list 'auto-mode-alist '("\\.l?agda$" . agda2-mode))
+      (modify-coding-system-alist 'file "\\.l?agda$" 'utf-8))))