diff options
Diffstat (limited to 'odk/util/check.pl')
| -rw-r--r-- | odk/util/check.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/odk/util/check.pl b/odk/util/check.pl index c6db5ef2a4c9..0cab1118e678 100644 --- a/odk/util/check.pl +++ b/odk/util/check.pl @@ -87,7 +87,7 @@ if (-d "$SdkDir") { print "check packaging files: "; if (check_dir("docs")) { my @filelist = ( "install.html", - "notsupported.html","sdk_styles.css","tools.html", + "sdk_styles.css","tools.html", "images/arrow-1.gif", "images/arrow-3.gif", "images/odk-footer-logo.gif", "images/bg_table.png","images/bg_table2.png", |