Various build fixes.

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

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))))