diff --git a/changelog b/changelog
index a627e52..2655c9f 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,8 @@
+20140623 tpd src/axiom-website/patches.html 20140623.04.tpd.patch
+20140623 tpd src/scripts/showdvi removed
+20140623 tpd src/scripts/boxup removed
+20140623 tpd src/scripts/boxtail removed
+20140623 tpd src/scripts/boxhead removed
 20140623 tpd src/axiom-website/patches.html 20140623.03.tpd.patch
 20140623 tpd src/axiom-website/download.html add texlive-fonts-extra
 20140623 tpd src/axiom-website/patches.html 20140623.02.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 0cdc54e..37f8d7f 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4490,6 +4490,8 @@ book/*.txt cleanup complete, book/timeline of join/leave complete
 books/bookvolbib.pamphlet add Baez09
 <a href="patches/20140623.03.tpd.patch">20140623.03.tpd.patch</a>
 src/axiom-website/download.html add texlive-fonts-extra
+<a href="patches/20140623.04.tpd.patch">20140623.04.tpd.patch</a>
+src/scripts/boxhead, boxtail, boxup, showdvi removed
  </body>
 </html>
 
diff --git a/src/scripts/boxhead b/src/scripts/boxhead
deleted file mode 100755
index d3dca93..0000000
--- a/src/scripts/boxhead
+++ /dev/null
@@ -1,12 +0,0 @@
-\documentclass{article}
-\usepackage{../../src/scripts/tex/axiom}
-\begin{document}
-\title{no title}
-\author{Nicolas Bourbaki}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-<<*>>=
diff --git a/src/scripts/boxtail b/src/scripts/boxtail
deleted file mode 100755
index 63819e7..0000000
--- a/src/scripts/boxtail
+++ /dev/null
@@ -1,5 +0,0 @@
-@
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/scripts/boxup b/src/scripts/boxup
deleted file mode 100755
index 6818fde..0000000
--- a/src/scripts/boxup
+++ /dev/null
@@ -1,10 +0,0 @@
-cp /usr/local/bin/boxhead $1.pamphlet
-cat $1 >>$1.pamphlet
-cat /usr/local/bin/boxtail >>$1.pamphlet
-mv $1 $1.org
-document $1
-echo diffing $1 $1.org
-diff $1 $1.org
-rm -f $1.dvi
-echo if files do not differ it is safe to rm $1 $1.org
-
diff --git a/src/scripts/showdvi b/src/scripts/showdvi
deleted file mode 100755
index 4951625..0000000
--- a/src/scripts/showdvi
+++ /dev/null
@@ -1 +0,0 @@
-xdvi -expert -s 3 $1.dvi