diff options
Diffstat (limited to 'doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html')
-rw-r--r-- | doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html | 3 |
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> |