From 388f59891bdbad0388acc2f885d3182b7fb64bbe Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 12:37:30 +0000
Subject: New files.

---
 html/adaptingman | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 html/adaptingman

(limited to 'html/adaptingman')

diff --git a/html/adaptingman b/html/adaptingman
new file mode 100644
index 00000000..74a3152c
--- /dev/null
+++ b/html/adaptingman
@@ -0,0 +1,3 @@
+<?php require('functions.php3');
+      hack_html("ProofGeneral/doc/PG-adapting_toc.html","Proof General adapting manual");
+?>
-- 
cgit v1.2.3