diff options
| author | David Aspinall | 2000-09-28 15:14:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-28 15:14:22 +0000 |
| commit | ce2413d4ba78cacb8d5e098ed1421456bb811e53 (patch) | |
| tree | 59fd174214fe68f5da6636e5151dcbdaa2a878ba /html/doc.html | |
| parent | 72faf58cb67c92ce42ebfec399ec2f945c4ec2a7 (diff) | |
Moved to use .html instead of .phtml
Diffstat (limited to 'html/doc.html')
| -rw-r--r-- | html/doc.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/doc.html b/html/doc.html index e8ae6b98..5ad6b433 100644 --- a/html/doc.html +++ b/html/doc.html @@ -20,7 +20,7 @@ menu. It should also appear in the system Info pages. <p> You can discuss Proof General with other users and receive -announcements by joining our <a href="mailinglist.phtml">mailing +announcements by joining our <a href="mailinglist.html">mailing list</a>. </p> |