working on doctype.py
diff --git a/version.num b/version.num
index 0218075..5cd7ca2 100644
--- a/version.num
+++ b/version.num
@@ -1 +1 @@
-747
+748
\ No newline at end of file