From a15a722c6de73a9b4fb4fd509d713f03b387a386 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Sat, 10 Mar 2001 02:40:21 +0000 Subject: [PATCH] Fix another problem with relative directories. --- v7/dist/make-dist-files | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/v7/dist/make-dist-files b/v7/dist/make-dist-files index 834c8d49a..b518806c7 100755 --- a/v7/dist/make-dist-files +++ b/v7/dist/make-dist-files @@ -1,6 +1,6 @@ #!/bin/sh -# $Id: make-dist-files,v 1.16 2001/03/10 02:34:20 cph Exp $ +# $Id: make-dist-files,v 1.17 2001/03/10 02:40:21 cph Exp $ # # Copyright (c) 2000-2001 Massachusetts Institute of Technology # @@ -218,8 +218,8 @@ for TYPE in html info pdf ps; do make_doc_file "zip -r" "${IMAGE_ROOT}" "zip" case "${TYPE}" in html | pdf) - rm -rf "${IMAGE_ROOT}" - mv -f "${IMAGE_DIR}" . + rm -rf "${TL_DIR}/${IMAGE_ROOT}" + mv -f "${IMAGE_DIR}" "${TL_DIR}/." ;; esac done -- 2.25.1