diff options
Diffstat (limited to 'doc/html/chrono')
-rw-r--r-- | doc/html/chrono/appendices.html | 1 | ||||
-rw-r--r-- | doc/html/chrono/reference.html | 1 | ||||
-rw-r--r-- | doc/html/chrono/users_guide.html | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/doc/html/chrono/appendices.html b/doc/html/chrono/appendices.html index afdbd344a7..09400922f1 100644 --- a/doc/html/chrono/appendices.html +++ b/doc/html/chrono/appendices.html @@ -1,3 +1,4 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII"> diff --git a/doc/html/chrono/reference.html b/doc/html/chrono/reference.html index 1a2e9bcc6e..25c86f8a4c 100644 --- a/doc/html/chrono/reference.html +++ b/doc/html/chrono/reference.html @@ -1,3 +1,4 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII"> diff --git a/doc/html/chrono/users_guide.html b/doc/html/chrono/users_guide.html index dece6246e7..8c2b6b9565 100644 --- a/doc/html/chrono/users_guide.html +++ b/doc/html/chrono/users_guide.html @@ -1,3 +1,4 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII"> |