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 +++
 html/userman     | 3 +++
 2 files changed, 6 insertions(+)
 create mode 100644 html/adaptingman
 create mode 100644 html/userman

(limited to 'html')

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");
+?>
diff --git a/html/userman b/html/userman
new file mode 100644
index 00000000..e8ccc072
--- /dev/null
+++ b/html/userman
@@ -0,0 +1,3 @@
+<?php require('functions.php3');
+      hack_html("ProofGeneral/doc/ProofGeneral_toc.html","Proof General user manual","userman");
+?>
-- 
cgit v1.2.3