diff options
| author | gbrandl <devnull@localhost> | 2006-12-20 16:14:36 +0100 |
|---|---|---|
| committer | gbrandl <devnull@localhost> | 2006-12-20 16:14:36 +0100 |
| commit | 80ebade7c25cb6f79477debd55254c18862d3eff (patch) | |
| tree | fc7971b4b69261806b23ddd68c22bd6b2d3f777e /pygments/util.py | |
| parent | 59db12020433e4787555cfeccaeae65f872f59b6 (diff) | |
| download | pygments-80ebade7c25cb6f79477debd55254c18862d3eff.tar.gz | |
[svn] Some style nits and make check.
Diffstat (limited to 'pygments/util.py')
| -rw-r--r-- | pygments/util.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/util.py b/pygments/util.py index 8a1434b4..d66eabd6 100644 --- a/pygments/util.py +++ b/pygments/util.py @@ -138,14 +138,14 @@ def doctype_matches(text, regex): def html_doctype_matches(text): """ - Check if the file looks like it has a html doctype + Check if the file looks like it has a html doctype. """ return doctype_matches(text, r'html\s+PUBLIC\s+"-//W3C//DTD X?HTML.*') def looks_like_xml(text): """ - Check if a doctype exists or if we have some tags + Check if a doctype exists or if we have some tags. """ m = doctype_lookup_re.match(text) if m is not None: |