Remove diff marks

Author: arturl

tools/remove_diff_marks.py

@@ -0,0 +1,18 @@
+#!/usr/bin/env python
+import sys,re
+
+if len(sys.argv) != 3:
+    print ("usage\npython remove_diff_marks.py <input_file> <output_file>\n")
+else:
+    ifile = open(sys.argv[1], 'r')
+    wholefile = ifile.read()
+    ifile.close()
+
+    reflags = re.S | re.M
+
+    replaced = re.sub(r"<ins>(.*?)</ins>", r"\1", wholefile, count = 0, flags = reflags)
+    replaced = re.sub(r"<del>.*?</del>", r"", replaced, count = 0, flags = reflags)
+
+    res_file = open(sys.argv[2], 'w')
+    res_file.write(replaced)
+    res_file.close()

tools/remove_diffs.cmd

@@ -0,0 +1,12 @@
+@setlocal
+rem @echo off
+if not exist %~dp0..\nodiffs md %~dp0..\nodiffs
+set PYTHON_CMD=C:\Python34\python.exe
+
+FOR /D %%f IN (
+    atomic_smart_ptr.html
+    future.html
+    latch_barrier.html
+    main.html
+    index.html
+) DO %PYTHON_CMD% %~dp0remove_diff_marks.py %~dp0..\%%f %~dp0..\nodiffs\%%f