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