search

eeditiones / tei-publisher-app

The main TEI Publisher app
https://teipublisher.com
GNU General Public License v3.0
68 stars 33 forks source link

Update documentation.xml #131

Closed daliboris closed 2 years ago

daliboris commented 2 years ago

Fix name of ant file to build.xml file (instead of build.properties)

daliboris commented 2 years ago

I take my fix back. build.properties file exists in git repository but not in generated app. I understant that this file is used by ant as an external file (ie. <property file="build.properties" />).