DO NOT MERGE: Fix the build by ignoring directories that don't exist.

Change-Id: I97ba9eca73f020eae0fa36ae94db35e70c9985d3
2010-08-25 09:59:14 -07:00
parent cb92616f11
commit 10cd7f9969
1 changed files with 1 additions and 0 deletions
--- 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, "");
        }