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

Rename "doc"-target in CMake to "docs" #144

Closed
Makman2 opened this issue Sep 5, 2017 · 0 comments
Closed

Rename "doc"-target in CMake to "docs" #144

Makman2 opened this issue Sep 5, 2017 · 0 comments
Labels
build-system
Milestone
2.2

Comments

@Makman2
Copy link
Owner

Makman2 commented Sep 5, 2017

It's called docs in make.sh, so let's make it standardized.
@Makman2 Makman2 added this to the 2.2 milestone Sep 5, 2017
Makman2 added a commit that referenced this issue Sep 5, 2017
@Makman2
build: Rename CMake target "doc" to "docs"
e504c1e 
Unifies the names from the make.sh script and CMakeLists.txt.

Closes #144
@Makman2 Makman2 closed this as completed in 5e81b57 Sep 6, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
build-system
Projects
None yet
Milestone
2.2
Development

No branches or pull requests
1 participant
@Makman2