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

Better Makefiles #553

Merged
merged 5 commits into from
Dec 19, 2016
Merged

Better Makefiles #553

merged 5 commits into from
Dec 19, 2016

Conversation

BrianHicks
Copy link
Contributor

Improves our makefiles to be faster and stronger. You can build docs completely in one step now!

@BrianHicks BrianHicks force-pushed the feature/better-makefiles branch from 2d65e36 to 841adfd Compare December 19, 2016 20:59
@rebeccaskinner
Copy link
Contributor

LGTM on green

@BrianHicks BrianHicks force-pushed the feature/better-makefiles branch from 841adfd to 392f94a Compare December 19, 2016 21:09
@BrianHicks BrianHicks merged commit 8cd334e into master Dec 19, 2016
@BrianHicks BrianHicks deleted the feature/better-makefiles branch December 19, 2016 21:17
BrianHicks added a commit that referenced this pull request Dec 22, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants