Skip to content

Conversation

vielmetti
Copy link
Contributor

Remove last vestige of old "tidy5" binary name.

With this change, automated documentation builds will work from source.

With this change, automated documentation builds will work from source.
@vielmetti vielmetti changed the title Change "tidy5" to "tidy" in build script Change "tidy5" to "tidy" in documentation build script Sep 14, 2015
geoffmcl added a commit that referenced this pull request Sep 14, 2015
Change "tidy5" to "tidy" in documentation build script
@geoffmcl geoffmcl merged commit 732d8d2 into htacg:master Sep 14, 2015
@geoffmcl
Copy link
Contributor

@vielmetti, done and thanks... I certainly hope it is the last ;=))

As can be seen in the #173 i searched for a non-existant build-docs.sh, otherwise this would have already been done...

@geoffmcl geoffmcl added this to the 5.1 milestone Sep 14, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants