diff --git a/docs/crtex/pp2tex b/docs/crtex/pp2tex
deleted file mode 100644
index 3a5cd6a448..0000000000
--- a/docs/crtex/pp2tex
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-# Simply paste a header and footer to the program.
-cat head.tex >  $1.tex
-cat $1.pp    >> $1.tex
-cat foot.tex >> $1.tex
diff --git a/docs/dosex/pp2tex b/docs/dosex/pp2tex
deleted file mode 100644
index 3a5cd6a448..0000000000
--- a/docs/dosex/pp2tex
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-# Simply paste a header and footer to the program.
-cat head.tex >  $1.tex
-cat $1.pp    >> $1.tex
-cat foot.tex >> $1.tex
diff --git a/docs/go32ex/pp2tex b/docs/go32ex/pp2tex
deleted file mode 100644
index 3a5cd6a448..0000000000
--- a/docs/go32ex/pp2tex
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-# Simply paste a header and footer to the program.
-cat head.tex >  $1.tex
-cat $1.pp    >> $1.tex
-cat foot.tex >> $1.tex
diff --git a/docs/linuxex/pp2tex b/docs/linuxex/pp2tex
deleted file mode 100644
index 3a5cd6a448..0000000000
--- a/docs/linuxex/pp2tex
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-# Simply paste a header and footer to the program.
-cat head.tex >  $1.tex
-cat $1.pp    >> $1.tex
-cat foot.tex >> $1.tex
diff --git a/docs/mouseex/pp2tex b/docs/mouseex/pp2tex
deleted file mode 100644
index 3a5cd6a448..0000000000
--- a/docs/mouseex/pp2tex
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-# Simply paste a header and footer to the program.
-cat head.tex >  $1.tex
-cat $1.pp    >> $1.tex
-cat foot.tex >> $1.tex
diff --git a/docs/optex/pp2tex b/docs/optex/pp2tex
deleted file mode 100644
index 3a5cd6a448..0000000000
--- a/docs/optex/pp2tex
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-# Simply paste a header and footer to the program.
-cat head.tex >  $1.tex
-cat $1.pp    >> $1.tex
-cat foot.tex >> $1.tex
diff --git a/docs/printex/pp2tex b/docs/printex/pp2tex
deleted file mode 100644
index 3a5cd6a448..0000000000
--- a/docs/printex/pp2tex
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-# Simply paste a header and footer to the program.
-cat head.tex >  $1.tex
-cat $1.pp    >> $1.tex
-cat foot.tex >> $1.tex
diff --git a/docs/refex/pp2tex b/docs/refex/pp2tex
deleted file mode 100644
index 3a5cd6a448..0000000000
--- a/docs/refex/pp2tex
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-# Simply paste a header and footer to the program.
-cat head.tex >  $1.tex
-cat $1.pp    >> $1.tex
-cat foot.tex >> $1.tex
diff --git a/docs/sockex/pp2tex b/docs/sockex/pp2tex
deleted file mode 100644
index 3a5cd6a448..0000000000
--- a/docs/sockex/pp2tex
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-# Simply paste a header and footer to the program.
-cat head.tex >  $1.tex
-cat $1.pp    >> $1.tex
-cat foot.tex >> $1.tex
diff --git a/docs/stringex/pp2tex b/docs/stringex/pp2tex
deleted file mode 100644
index 3a5cd6a448..0000000000
--- a/docs/stringex/pp2tex
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-# Simply paste a header and footer to the program.
-cat head.tex >  $1.tex
-cat $1.pp    >> $1.tex
-cat foot.tex >> $1.tex