Description: add the no-doc option to the install target
 To build the doc only once during the build process. It is necessary
 to allow not to run the install_html rule. this is the purpose of this
 patch
 .
 taurus (3.0.0-1) unstable; urgency=low
 .
   * Initial release (Closes: #614247)
   * Thanks to Justin B Rye for package description review
Author: Picca Frédéric-Emmanuel <picca@debian.org>
---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: http://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: <YYYY-MM-DD>

--- taurus-3.0.0.orig/setup.py
+++ taurus-3.0.0/setup.py
@@ -473,12 +473,14 @@ class install(dftinstall):
     
     user_options = list(dftinstall.user_options)
     user_options.extend([
-        ('install-man=', None, 'installation directory for Unix man pages'),
-        ('install-html=', None, "installation directory for HTML documentation")])
+            ('install-man=', None, 'installation directory for Unix man pages'),
+            ('install-html=', None, "installation directory for HTML documentation"),
+            ('no-doc', None, "do not install HTML documentation")])
 
     def initialize_options(self):
         self.install_man = None
         self.install_html = None
+        self.no_doc = None
         dftinstall.initialize_options(self)
     
     def finalize_options(self):
@@ -503,6 +505,8 @@ class install(dftinstall):
                 self.install_man = os.path.join(self.install_data, 'share', 'man')
         if self.install_html is None:
             self.install_html = os.path.join(self.install_data, 'share', 'doc', 'taurus', 'html')
+        if self.no_doc is None:
+            self.no_doc = False
         self.dump_dirs("Installation directories")
 
     def expand_dirs(self):
@@ -513,6 +517,8 @@ class install(dftinstall):
         return os.name == "posix"
     
     def has_html(self):
+        if self.no_doc:
+            return False
         return sphinx is not None
     
     sub_commands = list(dftinstall.sub_commands)
@@ -778,7 +784,7 @@ def svg_to_png(arg, dirname, fnames):
             full_target_fname = os.path.join(path, target_fname)
             if not os.path.isfile(full_target_fname):
                 if use_inkscape:
-                    cmd = "inkscape -z -e '%s' -w 24 '%s' &>/dev/null"%(full_target_fname, full_source_fname)
+                    cmd = "inkscape -z -e '%s' -w 24 '%s' > /dev/null"%(full_target_fname, full_source_fname)
                     ok = not(os.system(cmd))
                 else:
                     pixmap = PyQt4.Qt.QPixmap(full_source_fname)
