diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:38:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:38:35 +0000 |
commit | 89c06f0ed87635b6836b179ce50a43a5ab6eb5ef (patch) | |
tree | 2c4d2961b3e6c7c3739e3bafce4b6e5cd482705c /doc/docstring-magic.el | |
parent | 9458edef922f705a1180cfd1ae46370771e3b423 (diff) |
Added header.
Diffstat (limited to 'doc/docstring-magic.el')
-rw-r--r-- | doc/docstring-magic.el | 11 |
1 files changed, 10 insertions, 1 deletions
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)) |