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

Fix documentation install when Doxygen is not found #1624

Closed
wants to merge 1 commit into from

Conversation

Crunkle
Copy link
Contributor

@Crunkle Crunkle commented Jan 14, 2020

If Doxygen is not installed then the install target will fail as the documentation was not built. This simply updates the check to only include the docs directory if Doxygen was found.

@elmindreda elmindreda added bug Bug reports and bugfix pull requests build Build file bugs and PRs (not compilation errors) labels Jan 14, 2020
@elmindreda elmindreda self-assigned this Jan 15, 2020
@elmindreda elmindreda added the verified Reproduced or otherwise verified bugs label Jan 15, 2020
@elmindreda elmindreda added this to the 3.3.2 milestone Jan 15, 2020
elmindreda pushed a commit that referenced this pull request Jan 16, 2020
elmindreda added a commit that referenced this pull request Jan 16, 2020
Related to #1624.
elmindreda added a commit that referenced this pull request Jan 17, 2020
Related to #1624.
m4ce-w1ndu pushed a commit to m4ce-w1ndu/glfw that referenced this pull request Jul 23, 2022
m4ce-w1ndu pushed a commit to m4ce-w1ndu/glfw that referenced this pull request Jul 23, 2022
Related to glfw#1624.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Bug reports and bugfix pull requests build Build file bugs and PRs (not compilation errors) verified Reproduced or otherwise verified bugs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants