Fix pandoc filter.

And add a script that helps to run pandoc with appropriate
command line flags.

Doc/Manual/markdown_to_html.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+
+if [ "$1" == "" ]; then
+	echo "Usage: markdown_to_html <Language>"
+	echo "-- Example: markdown_to_html Javascript"
+else
+	pandoc -f markdown -t json $1.md | ./pandoc_filter.py | pandoc -f json -t html -s --template pandoc_template.html -o $1.html
+fi
+

Doc/Manual/pandoc_filter.py

@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/python
 
 """
 Pandoc filter that changes pandoc default HTML output for codeblocks
@@ -24,16 +24,16 @@ the_title = ""
 def codeblocks(key, value, format, meta):
   if key == 'CodeBlock':
     [[id, classes, kvs], contents] = value
-    if format == "html" or format == "html5":
-      newcontents = [html('<pre>\n' + contents + '</pre>')]
 
-      if len(classes) == 0:
-        if contents.startswith("$"):
-          classes.append("shell")
-        else:
-          classes.append("code")
+    newcontents = [html('<pre>\n' + contents + '</pre>')]
 
-      return Div([id, classes, kvs], newcontents)
+    if len(classes) == 0:
+      if contents.startswith("$"):
+        classes.append("shell")
+      else:
+        classes.append("code")
+
+    return Div([id, classes, kvs], newcontents)
   if key == 'Header':
     if value[0] == 1:
       the_title = stringify(value)