diff --git a/404.md b/404.md
index 6090a89a3f..5c720743e7 100644
--- a/404.md
+++ b/404.md
@@ -6,7 +6,7 @@ permalink: /404.html
 <script language="JavaScript">
 $( document ).ready(function() {
   var oldURLs=["/README.md","/README.html",".html",".md","/v1.1/","/v1.0/"];
-  var fwdDirs=["examples/","cluster/"];
+  var fwdDirs=["examples/","cluster/","devel/"];
   var doRedirect = false;
   var notHere = false;
   var forwardingURL=window.location.href;