Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Attempt to make DocBook TDG for 5.2 #45

Closed
wants to merge 42 commits into
base: master
from

Conversation

Projects
None yet
1 participant
@ndw
Copy link
Contributor

ndw commented Mar 8, 2019

Lots of things in here. And apparently merge conflicts so I'll have to merge it by hand.

ndw added some commits Nov 15, 2016

Merge pull request #15 from ndw/docbook-5.1
Publish automatically with CircleCI
Merge pull request #16 from ndw/docbook-5.1
Apply PR #8 to the docbook-5.1 branch
Merge pull request #18 from ndw/docbook-5.1
Simple change to nudge build
Merge pull request #19 from ndw/docbook-5.1
Use the correct repo
Merge pull request #22 from ndw/docbook-5.1
Add status messages to publish script, bump version
Merge pull request #34 from ndw/docbook-5.1
Make index.html do the right thing
Merge pull request #41 from ndw/docbook-5.1
Cherry pick PR #40 from pdesjardins
Merge pull request #43 from ndw/docbook-5.1
Fix a couple of bugs in build.gradle

ndw added some commits Mar 8, 2019

@ndw

This comment has been minimized.

Copy link
Contributor Author

ndw commented Mar 8, 2019

No, this was a fail. I didn't mean to make the pull against master.

@ndw ndw closed this Mar 8, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.