diff --git a/php/generate-html.php b/php/generate-html.php
index afcc4aa..c95dd7e 100644
--- a/php/generate-html.php
+++ b/php/generate-html.php
@@ -62,8 +62,6 @@
 				exit(255);
 			}
 
-			$output = preg_replace("/\\t+/", "\t", $output);
-
 			file_put_contents($docpath, join("\n", $output));
 		}