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

Already on GitHub? Sign in to your account

Issue #223 #224

Merged
merged 2 commits into from Jul 13, 2012

Conversation

Projects
None yet
2 participants
Contributor

demosdemon commented Jun 26, 2012

Fixes Issue #223, it is not necessary to install the docset in order to publish a docset as long as generate docset is YES

tomaz added a commit that referenced this pull request Jul 13, 2012

Merge pull request #224 from demosdemon/issue223
Docset installation can be skipped when publishing. Closes #223.

@tomaz tomaz merged commit 2135a80 into tomaz:master Jul 13, 2012

Owner

tomaz commented Jul 13, 2012

Thanks! Just merged to main branch - was on vacation, so it took me a while :)

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