[gtk-doc] mkhtml: allow passing multiple --path arguments to xsltproc

[Stefan Sauer <stefkost src gnome org>]

commit dacd4ccd27fabd3cd563b48b11050fbb6583a3b4
Author: Ting-Wei Lan <lantw src gnome org>
Date:   Wed May 3 15:55:37 2017 +0800

    mkhtml: allow passing multiple --path arguments to xsltproc
    
    https://bugzilla.gnome.org/show_bug.cgi?id=782099

 gtkdoc/mkhtml.py |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/gtkdoc/mkhtml.py b/gtkdoc/mkhtml.py
index cf1f226..80ddadf 100644
--- a/gtkdoc/mkhtml.py
+++ b/gtkdoc/mkhtml.py
@@ -35,13 +35,13 @@ def run_xsltproc(options, args):
     # we could do "$path_option $PWD " to avoid needing rewriting entities that
     # are copied from the header into docs under xml
     if os.environ.get("GTKDOC_PROFILE", '') == '':
-        if len(options.path):
-            command += ['--path'] + options.path
+        for path in options.path:
+            command += ['--path', path]
         return subprocess.call(command + args)
     else:
         command += ['--profile']
-        if len(options.path):
-            command += ['--path'] + options.path
+        for path in options.path:
+            command += ['--path', path]
         return subprocess.call(command + args, stderr=open('profile.txt', 'w'))