diff options
Diffstat (limited to 'sources/ch/epfl/lamp/util/HTMLPrinter.java')
| -rw-r--r-- | sources/ch/epfl/lamp/util/HTMLPrinter.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/ch/epfl/lamp/util/HTMLPrinter.java b/sources/ch/epfl/lamp/util/HTMLPrinter.java index a12b1f811e..69939ea3cb 100644 --- a/sources/ch/epfl/lamp/util/HTMLPrinter.java +++ b/sources/ch/epfl/lamp/util/HTMLPrinter.java @@ -460,7 +460,7 @@ public class HTMLPrinter { /** Prints HTML preamble. */ protected void printPreamble() { - print("<!DOCTYPE html PUBLIC \"-//W3C//DTD " + + println("<!DOCTYPE html PUBLIC \"-//W3C//DTD " + representation.getType() + "//" + representation.getLanguage() + "\">"); printlnOTag("html").line(); } |