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] properly create destdir for html doc - [merged] #152

Closed
iskra-anl opened this issue Apr 20, 2021 · 2 comments
Closed

[fix] properly create destdir for html doc - [merged] #152

iskra-anl opened this issue Apr 20, 2021 · 2 comments
Assignees

Comments

@iskra-anl
Copy link
Contributor

In GitLab by @perarnau on Oct 1, 2020, 17:54

Merges fix-doc-dest-mkdir -> v0.1.x

Solve an issue where the destination directory for the documentation
was not created during install phase. Also cleanup the automake rules
for documentation.

See #76 for details.

@iskra-anl
Copy link
Contributor Author

In GitLab by @perarnau on Oct 1, 2020, 18:04

merged

@iskra-anl
Copy link
Contributor Author

In GitLab by @perarnau on Oct 1, 2020, 18:04

mentioned in commit 1560d04

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

No branches or pull requests

2 participants