From 20bbbef295bcdb1dc17cb370b7ad0a9fe91d0a77 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Sat, 10 Mar 2001 02:35:41 +0000
Subject: [PATCH] Now integrated into make-dist-files.

---
 v7/dist/make-doc-files | 84 ------------------------------------------
 1 file changed, 84 deletions(-)
 delete mode 100755 v7/dist/make-doc-files

diff --git a/v7/dist/make-doc-files b/v7/dist/make-doc-files
deleted file mode 100755
index e4c104434..000000000
--- a/v7/dist/make-doc-files
+++ /dev/null
@@ -1,84 +0,0 @@
-#!/bin/sh
-
-# $Id: make-doc-files,v 1.16 2001/03/09 19:01:39 cph Exp $
-#
-# Copyright (c) 2000-2001 Massachusetts Institute of Technology
-#
-# This program is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2 of the License, or (at
-# your option) any later version.
-#
-# This program is distributed in the hope that it will be useful, but
-# WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
-# General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
-
-. /scheme/v7/dist/release-prefix
-
-TL_DIR="$(pwd)"
-BUILD_DIR_REL="$(get_release_prefix)"
-BUILD_DIR="${TL_DIR}/${BUILD_DIR_REL}"
-SRC_FILE="${BUILD_DIR}-src.tar.gz"
-STAMP_BUILD="${TL_DIR}/stamp-build"
-
-if [ ! -f "${SRC_FILE}" ]; then
-    echo "No source file: ${SRC_FILE}."
-    exit 1
-fi
-
-MKINSTALLDIRS="/scheme/v7/src/mkinstalldirs"
-INSTALL="install"
-INSTALL_DATA="${INSTALL} -m 644"
-
-if [ ! -f "${STAMP_BUILD}" ];then
-    rm -rf "${BUILD_DIR}"
-
-    tar xzf "${SRC_FILE}"
-
-    cd "${BUILD_DIR}/doc"
-    ./configure
-    make
-    cd "${TL_DIR}"
-
-    touch "${STAMP_BUILD}"
-fi
-
-
-make_tarfile ()
-{
-    TARFILE="${BUILD_DIR}-${1}.tar.gz"
-    rm -f "${TARFILE}"
-    tar cvzf "${TARFILE}" "${BUILD_DIR_REL}/${1}"
-    chmod a-w "${TARFILE}"
-}
-
-make_zipfile ()
-{
-    ZIPFILE="${BUILD_DIR}-${1}.zip"
-    rm -f "${ZIPFILE}"
-    zip -r "${ZIPFILE}" "${BUILD_DIR_REL}/${1}"
-    chmod a-w "${ZIPFILE}"
-}
-
-for TYPE in html info pdf ps; do
-    IMAGE_ROOT="doc-${TYPE}"
-    IMAGE_DIR="${BUILD_DIR}/${IMAGE_ROOT}"
-    rm -rf "${IMAGE_DIR}"
-    mkdir "${IMAGE_DIR}"
-    (cd "${BUILD_DIR}/doc"; make "install-${TYPE}" "${TYPE}dir=${IMAGE_DIR}")
-    make_tarfile "${IMAGE_ROOT}"
-    make_zipfile "${IMAGE_ROOT}"
-    case "${TYPE}" in
-    html | pdf)
-	rm -rf "${IMAGE_ROOT}"
-	mv -f "${IMAGE_DIR}" .
-	;;
-    esac
-done
-
-rm -rf "${STAMP_BUILD}" "${BUILD_DIR}"
-- 
2.25.1