This is used to replace text in the parsed html file. The property is a regular expression defining the text to replace and the value is the text it is replaced by. Escape sequences can be used as before.

 

Because the property is a regular expression you will need to be very careful about escape sequences.  For example, imagine that you want to replace topic.htm with topic.html. The text we want to search for is topic.htm.  However, because the search will use a regular expression, we need to escape the decimal point so that the regular expression we need to enter as the property is topic\.htm.  However, property file uses the \ character as its own escape so to get the \ character into the regular expression we must enter \\.  So we finish up needing to enter topic\\.htm into the property file.

 

So to replace topic.htm with TOPIC.HTML you would use:

 
topic\\.htm = TOPIC.HTML

 

For more information on regular expressions see: http://java.sun.com/j2se/1.4.2/docs/api/java/util/regex/Pattern.html

 

 

As an example, to push up the font sizes you could add the line:

 
font-size\:10pt=font-size\:12pt

 
Note the escape sequences for the colon and space characters.