Fix typo.

diff --git a/v7/dist/make-doc-files b/v7/dist/make-doc-files
index 58b790a528827b04635b24f94f99c10801623e3e..dee5ad4b8a004ee280daa7f8531e3e817a1dd7d1 100755 (executable)
--- a/v7/dist/make-doc-files
+++ b/v7/dist/make-doc-files
@@ -55,4 +55,4 @@ rm -rf doc-html
 mkdir doc-html
 mv ${tldir}/*.html doc-html
 
-rm -rf ${tldir}
+rm -rf ${prefix}