From 62b8b7f14d53d6c9eff47aa0868aef514d5753bd Mon Sep 17 00:00:00 2001
From: rocky <rb@dustyfeet.com>
Date: Sun, 5 Mar 2023 05:14:13 -0500
Subject: [PATCH] Administrivia doc->doctest

---
 admin-tools/make-dist.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/admin-tools/make-dist.sh b/admin-tools/make-dist.sh
index 87697b89b..015477da8 100755
--- a/admin-tools/make-dist.sh
+++ b/admin-tools/make-dist.sh
@@ -16,7 +16,7 @@ fi
 
 cd ..
 source mathics/version.py
-cp -v ${HOME}/.local/var/mathics/doc_latex_data.pcl mathics/data/
+cp -v ${HOME}/.local/var/mathics/doctest_latex_data.pcl mathics/data/
 
 echo $__version__