From a368bcd61cd9c8832cd702568889c123b6ea8679 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 7 Feb 2004 18:45:32 +0000
Subject: Add Emacs mode tag

---
 Makefile.devel | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.devel b/Makefile.devel
index a235d310..14ef5573 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -1,3 +1,4 @@
+## -*- makefile -*-
 ##
 ## Makefile for Proof General development.
 ## 
-- 
cgit v1.2.3