Remove unnecessary dita.regex build target
------------------------------------------
Key: DERBY-5354
URL: https://issues.apache.org/jira/browse/DERBY-5354
Project: Derby
Issue Type: Improvement
Components: Documentation
Affects Versions: 10.9.0.0
Reporter: Knut Anders Hatlen
Assignee: Knut Anders Hatlen
Priority: Minor
The dita.regex build target changes some of DITA's XSL files to look for .dita
files instead of .xml files. But DITA already has a switch to change the file
extension, namely the property dita.extname, and we set that property in
docs.properties, so it shouldn't be necessary to change the DITA source files
for this.
(In newer versions of DITA than the one we're using, the dita.extname has been
deprecated, and it's my understanding that both .xml and .dita are handled
automatically now.)
--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira
