From b1a4e47933153b640c8bca1c959257041f451882 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 18 Feb 2003 17:24:54 +0000
Subject: Comments.

---
 generic/pg-metadata.el | 3 +++
 generic/pg-xhtml.el    | 2 ++
 2 files changed, 5 insertions(+)

diff --git a/generic/pg-metadata.el b/generic/pg-metadata.el
index f8c3c67b..d8563199 100644
--- a/generic/pg-metadata.el
+++ b/generic/pg-metadata.el
@@ -12,6 +12,9 @@
 ;;  - add file dependency information to proof scripts individually
 ;;    (can approximate from the transitive closure that is included files list)
 ;;
+;; NB: THIS FILE NOT YET USED: once required by PG,
+;; must be added to main dist by editing Makefile.devel
+;;
 
 (require 'pg-xml)
 
diff --git a/generic/pg-xhtml.el b/generic/pg-xhtml.el
index c5f09ad9..402e7a85 100644
--- a/generic/pg-xhtml.el
+++ b/generic/pg-xhtml.el
@@ -6,6 +6,8 @@
 ;;
 ;; $Id$
 ;;
+;; NB: THIS FILE NOT YET USED: once required by PG,
+;; must be added to main dist by editing Makefile.devel
 
 (require 'pg-xml)
 
-- 
cgit v1.2.3