From: Chris Hanson <org/chris-hanson/cph>
Date: Tue, 1 Feb 2000 03:48:12 +0000 (+0000)
Subject: Use "doc" instead of "documentation".
X-Git-Tag: 20090517-FFI~4275
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=6547bf52df14ae9c1c63a9249d8e5e0138be0d1e;p=mit-scheme.git

Use "doc" instead of "documentation".
---

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}