diff options
author | Stephan Bergmann <sbergman@redhat.com> | 2013-06-04 15:17:07 +0200 |
---|---|---|
committer | Stephan Bergmann <sbergman@redhat.com> | 2013-06-04 15:17:21 +0200 |
commit | 57d88588841855cc61b485ca1199e6484f6aa826 (patch) | |
tree | b80d5514d9d8e21da95431c20961bfadc8bb1575 /odk/util | |
parent | 211544a5f26a2258c39c6c6b948512e395fafa03 (diff) |
notsupported.html appears unused
Change-Id: I4d49158c373b24add3b42043201695e2071f4c15
Diffstat (limited to 'odk/util')
-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", |