From b4d7bcfef2bca41c540a2e57c4049b19348e36b4 Mon Sep 17 00:00:00 2001
From: Lutz Kettner <kettner@mpi-sb.mpg.de>
Date: Tue, 19 Jun 2001 00:14:19 +0000
Subject: [PATCH] Bump for 3.8 (18 Jun 2001)

---
 Packages/Polyhedron/changes.txt | 4 ++++
 Packages/Polyhedron/version     | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/Packages/Polyhedron/changes.txt b/Packages/Polyhedron/changes.txt
index 1d819237b5f..24b2ee7cc3e 100644
--- a/Packages/Polyhedron/changes.txt
+++ b/Packages/Polyhedron/changes.txt
@@ -1,5 +1,9 @@
 Polyhedron Package: Release changes:
 ---------------------------------------------------------------------
+3.8 (18 Jun 2001)
+
+     - Added missing htmlfiles and main.tex to doc_tex/basic/Polyhedron.
+
 3.7 (18 Jun 2001)
 
      - Added old manual part to deprecated_basic.
diff --git a/Packages/Polyhedron/version b/Packages/Polyhedron/version
index a6cf6dadac5..79041146d7a 100644
--- a/Packages/Polyhedron/version
+++ b/Packages/Polyhedron/version
@@ -1 +1 @@
-3.7 (18 Jun 2001)
+3.8 (18 Jun 2001)