[library-web] don't look for index.html if .devhelp2 file is available

[Frederic Peters <fpeters src gnome org>]

commit 2f891d607802da5d0ba5d3d1c7b575b84a2c38bb
Author: Frédéric Péters <fpeters 0d be>
Date:   Tue Jan 28 19:21:55 2014 +0000

    don't look for index.html if .devhelp2 file is available

 src/modtypes/gtkdoc.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/modtypes/gtkdoc.py b/src/modtypes/gtkdoc.py
index 5cb2a99..a9cfa78 100644
--- a/src/modtypes/gtkdoc.py
+++ b/src/modtypes/gtkdoc.py
@@ -70,6 +70,7 @@ class GtkDocModule(DocModule):
             for filename in ('%s.devhelp2' % doc_module, 'index.html'):
                 if os.path.exists(os.path.join(web_output_dir, filename)):
                     mtime = os.stat(os.path.join(web_output_dir, filename))[stat.ST_MTIME]
+                    break
 
         if mtime > max(self.mtime_tarball, self.mtime_xslt_files):
             logging.debug('using already generated doc')