diff options
Diffstat (limited to 'doc/html/typeof')
-rw-r--r-- | doc/html/typeof/ackn.html | 1 | ||||
-rw-r--r-- | doc/html/typeof/cont.html | 1 | ||||
-rw-r--r-- | doc/html/typeof/other.html | 1 | ||||
-rw-r--r-- | doc/html/typeof/refe.html | 1 | ||||
-rw-r--r-- | doc/html/typeof/tuto.html | 1 |
5 files changed, 5 insertions, 0 deletions
diff --git a/doc/html/typeof/ackn.html b/doc/html/typeof/ackn.html index 9bb9ad34fc..d3e50372ff 100644 --- a/doc/html/typeof/ackn.html +++ b/doc/html/typeof/ackn.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/typeof/cont.html b/doc/html/typeof/cont.html index 796ee2551b..d42ad528c8 100644 --- a/doc/html/typeof/cont.html +++ b/doc/html/typeof/cont.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/typeof/other.html b/doc/html/typeof/other.html index d973ebfbd8..0584e51f80 100644 --- a/doc/html/typeof/other.html +++ b/doc/html/typeof/other.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/typeof/refe.html b/doc/html/typeof/refe.html index de6632b915..0df022487c 100644 --- a/doc/html/typeof/refe.html +++ b/doc/html/typeof/refe.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/typeof/tuto.html b/doc/html/typeof/tuto.html index a664f50678..11d291fffc 100644 --- a/doc/html/typeof/tuto.html +++ b/doc/html/typeof/tuto.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"> |