diff options
| -rwxr-xr-x | highlight.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/highlight.py b/highlight.py index 14bb9a8..8ed2376 100755 --- a/highlight.py +++ b/highlight.py @@ -95,7 +95,8 @@ text = infile.read() infile.close() outfile = open(sys.argv[2], 'w') -print >>outfile, '''<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" +print >>outfile, '''<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml"> <head> |