Passed
Push — master ( 119e27...c32e95 )
by Gaetano
08:58
created
doc/build/convert.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -7,7 +7,7 @@
 block discarded – undo
7 7
  * @todo rename to something akin to xsltproc
8 8
  */
9 9
 
10
-if ($_SERVER['argc'] < 4) {
10
+if ($_SERVER['argc']<4) {
11 11
     error("Usage: php convert.php docbook.xml stylesheet.xsl output-dir|output_file");
12 12
 }
13 13
 
Please login to merge, or discard this patch.