updated docs

docs/docs/parsing.xml

@@ -43,6 +43,7 @@
          <item>string_cast</item>
          <item>string_assign</item>
          <item>cast_to_string</item>
+         <item>pad_int_with_zeros</item>
          <item>cast_to_wstring</item>
          <item>wrap_string</item>
          <item>narrow</item> 
@@ -271,6 +272,18 @@
                                  
       </component>
             
+   <!-- ************************************************************************* -->
+      
+      <component>
+         <name>pad_int_with_zeros</name>
+         <file>dlib/string.h</file>
+         <spec_file link="true">dlib/string/string_abstract.h</spec_file>
+         <description>        
+            Converts an integer into a string and pads it with leading zeros.
+         </description>
+                                 
+      </component>
+            
    <!-- ************************************************************************* -->
       
       <component>

docs/docs/term_index.xml

@@ -1167,6 +1167,7 @@
          <term file="parsing.html" name="wrap_string"/>
          <term file="parsing.html" name="xml_parser"/>
          <term file="parsing.html" name="cast_to_string"/>
+         <term file="parsing.html" name="pad_int_with_zeros"/>
          <term file="parsing.html" name="toupper"/>
          <term file="parsing.html" name="tolower"/>
          <term file="parsing.html" name="trim"/>