summaryrefslogtreecommitdiff
path: root/doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html
diff options
context:
space:
mode:
Diffstat (limited to 'doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html')
-rw-r--r--doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html b/doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html
index e90ea7d006..a73255586c 100644
--- a/doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html
+++ b/doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.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">
@@ -33,7 +34,7 @@
</span>BOOST_TYPE_INDEX_USER_TYPEINDEX</pre></div>
<div class="refsect1">
-<a name="idp477722800"></a><h2>Description</h2>
+<a name="idp484104704"></a><h2>Description</h2>
<p>BOOST_TYPE_INDEX_USER_TYPEINDEX can be defined to the path to header file with user provided implementation of type_index.</p>
<p>See <a href="boost_typeindex/making_a_custom_type_index.html" target="_top">Making a custom type_index</a> section of documentation for usage example. </p>
</div>