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.

Sign up for GitHub

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

Jump to bottom

Deploy Docs to Github #5

Open
athielk opened this issue Oct 31, 2016 · 4 comments
Open

Deploy Docs to Github #5

athielk opened this issue Oct 31, 2016 · 4 comments
Labels
doc enhancement

Comments

@athielk
Copy link

athielk commented Oct 31, 2016 •
edited by xavierholt
Loading

get rid of outdated code and have the javadoc deployed to github
@athielk
Copy link
Author

athielk commented Oct 31, 2016

F16 OK (100 pts)

@xavierholt
Copy link
Contributor

xavierholt commented Oct 1, 2017 •
edited
Loading

I created #17 for the build.xml cleanup. Editing this one to only deal with Github Pages, and reducing it to:

50 XP

@xavierholt xavierholt changed the title update build.xml Deploy Docs to Github Oct 1, 2017
@xavierholt
Copy link
Contributor

For reference: https://help.github.com/articles/configuring-a-publishing-source-for-github-pages/

@xavierholt xavierholt added the doc label Oct 1, 2017
@aryamandas
Copy link
Contributor

W18 OK (50 points)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
doc enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@xavierholt @aryamandas @athielk