Fix another problem with relative directories.

diff --git a/v7/dist/make-dist-files b/v7/dist/make-dist-files
index 834c8d49afdccf68fe7ee3d6f2e4d9e49c520c40..b518806c753ae405dd9f01d7960b0c54cf3b405d 100755 (executable)
--- 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