2 files changed, 8 insertions, 0 deletions
diff --git a/scripts/cat.py b/scripts/cat.py
new file mode 100755
index 0000000..5f628b6
--- /dev/null
+++ b/scripts/cat.py
@@ -0,0 +1,7 @@
+#!/usr/bin/env python
+
+import sys
+
+for filename in sys.argv[1:]:
+    with open(filename, 'r') as f:
+        sys.stdout.write(f.read())
diff --git a/scripts/dox_to_sphinx.py b/scripts/dox_to_sphinx.py
index b88a484..c3f7c44 100755
--- a/scripts/dox_to_sphinx.py
+++ b/scripts/dox_to_sphinx.py
@@ -649,4 +649,5 @@ if __name__ == "__main__":
     ap.add_argument("index_xml_path", help="path index.xml from Doxygen")
     ap.add_argument("output_dir", help="output directory")
 
+    print(sys.argv)
     run(**vars(ap.parse_args(sys.argv[1:])))