Skip to content

Conversation

@duncdrum
Copy link
Contributor

make it easier for folks to find the build instructions, when browsing the docs.

see #251
see eXist-db/exist#1933

@duncdrum duncdrum added this to the 4.0.3 milestone Jun 13, 2018
@duncdrum duncdrum requested a review from dizzzz June 21, 2018 09:36
@duncdrum
Copy link
Contributor Author

duncdrum commented Jul 3, 2018

@eXist-db/documenters could someone review and merge this please

Copy link
Member

@joewiz joewiz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great idea to provide relevant cross references.

@joewiz joewiz merged commit 265d5f5 into master Jul 3, 2018
@duncdrum duncdrum deleted the add-build-links branch July 3, 2018 11:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants