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

Moved docs to the relaxng.org repository #238

Merged
merged 2 commits into from Dec 3, 2018

Conversation

Projects
None yet
2 participants
@ndw
Contributor

ndw commented Dec 2, 2018

James asked me to move these files to the relaxng.org repository.

I propose that we remove them from this repository. I added a README to indicate what happened.

@ndw ndw requested a review from sideshowbarker Dec 2, 2018

@sideshowbarker

This breaks the build. See https://travis-ci.org/relaxng/jing-trang/jobs/462588140. But I’ll take a look at fixing it now

@sideshowbarker

The specific failure is this:

mod.convert-to-xsd.split-toxsd:
     [jing] fatal: file not found: /home/travis/build/relaxng/jing-trang/doc/compact/relaxng.rnc (No such file or directory)
@ndw

This comment has been minimized.

Contributor

ndw commented Dec 3, 2018

Ok. I'll figure out how to fix that tomorrow morning.

@sideshowbarker

This comment has been minimized.

Member

sideshowbarker commented Dec 3, 2018

Ok. I'll figure out how to fix that tomorrow morning.

I’ve got a (proposed) fix. I’ll push it this branch shortly.

@sideshowbarker sideshowbarker force-pushed the ndw:movedoc branch from b6437c5 to a56f10f Dec 3, 2018

Make build populate docs dir from submodule
This change adds https://github.com/relaxng/relaxng.org as a submodule
and updates the (ant) build to make it populate the `docs` subdirectory
by copying over files from the (new) relaxng.org submodule.

The build needs the `docs` content in order to create the jing and trang
zip release distributions with the docs included.

@sideshowbarker sideshowbarker force-pushed the ndw:movedoc branch from a56f10f to f22e0cc Dec 3, 2018

@ndw

This comment has been minimized.

Contributor

ndw commented Dec 3, 2018

I think this is fine in the short term. Longer term, maybe we should work out what docs need to ship with jing-trang and move them back here.

@ndw ndw merged commit 0b7e49b into relaxng:master Dec 3, 2018

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details

@ndw ndw deleted the ndw:movedoc branch Dec 3, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment