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

Remove unnecessary files from `docsrc` distribution #2990

merged 3 commits into from Jun 4, 2018


2 participants

infotexture commented Jun 3, 2018

After the changes in 244da96 for #2972, several unnecessary files are copied to the docsrc folder of the distribution package and an obsolete exclusion can be removed from the build file.

infotexture added some commits Jun 3, 2018

Exclude docsrc/.editorconfig file
Signed-off-by: Roger Sheen <>
Exclude generated platform.ditaval file
This file is generated by the docs build.gradle

Signed-off-by: Roger Sheen <>
Remove obsolete exclusion for site build
Signed-off-by: Roger Sheen <>

@infotexture infotexture added the doc label Jun 3, 2018

@infotexture infotexture requested a review from jelovirt Jun 3, 2018

@infotexture infotexture added the build label Jun 3, 2018

@infotexture infotexture added this to To Do in 3.1 via automation Jun 3, 2018

@infotexture infotexture self-assigned this Jun 3, 2018

@jelovirt jelovirt merged commit c38a06c into dita-ot:develop Jun 4, 2018

2 checks passed

DCO All commits have a DCO sign-off from the author
continuous-integration/travis-ci/pr The Travis CI build passed

3.1 automation moved this from To Do to Done Jun 4, 2018

@jelovirt jelovirt added the bug label Jun 4, 2018

@jelovirt jelovirt added this to the 3.1 milestone Jun 4, 2018

@infotexture infotexture deleted the infotexture:docsrc-cleanup branch Jun 10, 2018

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