From 6547bf52df14ae9c1c63a9249d8e5e0138be0d1e Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Tue, 1 Feb 2000 03:48:12 +0000
Subject: [PATCH] Use "doc" instead of "documentation".

---
 v7/dist/make-doc-files | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/v7/dist/make-doc-files b/v7/dist/make-doc-files
index 9f2bead8f..58b790a52 100755
--- a/v7/dist/make-doc-files
+++ b/v7/dist/make-doc-files
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 prefix=`/scheme/v7/dist/release-prefix`
-tldir=${prefix}/documentation
+tldir=${prefix}/doc
 mkdir ${prefix}
 mkdir ${tldir}
 
-- 
2.25.1