From 89c06f0ed87635b6836b179ce50a43a5ab6eb5ef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Nov 1998 12:38:35 +0000
Subject: Added header.

---
 doc/docstring-magic.el | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'doc/docstring-magic.el')

diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el
index b36643ce..58eee9ef 100644
--- a/doc/docstring-magic.el
+++ b/doc/docstring-magic.el
@@ -1,4 +1,13 @@
-;; Ensure that non-compiled versions of everything is loaded
+;; doc/docstring-magic.el  -- hack for using texi-docstring-magic.
+;;
+;; Copyright (C) 1998 LFCS Edinburgh. 
+;; Author: David Aspinall
+;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+;;
+;; Ensure that non-compiled versions of everything are loaded.
+;;
+;; $Id$
+;;
 (setq load-path
       (append
        '("../generic/" "../isa/" "../lego/" "../coq/") load-path))
-- 
cgit v1.2.3