diff --git a/doc/pike/catch b/doc/pike/catch
deleted file mode 100644
index 0e82d80aa3a60a591c997025df733908c7fb3d3a..0000000000000000000000000000000000000000
--- a/doc/pike/catch
+++ /dev/null
@@ -1,15 +0,0 @@
-NAME
-	catch - catch errorrs
-
-SYNTAX
-	catch { commands }
-	or
-	catch ( expression )
-
-DESCRIPTION
-	catch traps exceptions such as run time errors or calls to throw() and
-	returns the argument given to throw. For a run time error, this value
-	is ({ "error message", backtrace }) 
-
-SEE ALSO
-	builtin/throw