diff --git a/tools/droiddoc/src/DroidDoc.java b/tools/droiddoc/src/DroidDoc.java
index 34a0c0359..deb6910e2 100644
--- a/tools/droiddoc/src/DroidDoc.java
+++ b/tools/droiddoc/src/DroidDoc.java
@@ -579,6 +579,7 @@ public class DroidDoc
             File f = new File(htmlDir);
             if (!f.isDirectory()) {
                 System.err.println("htmlDir not a directory: " + htmlDir);
+                continue;
             }
             writeDirectory(f, "");
         }