Skip to content

Use unique directory when performing documentation build#1603

Merged
shahzebsiddiqui merged 3 commits intodevelfrom
change_docs_build_unique_dir
Aug 29, 2023
Merged

Use unique directory when performing documentation build#1603
shahzebsiddiqui merged 3 commits intodevelfrom
change_docs_build_unique_dir

Conversation

@shahzebsiddiqui
Copy link
Member

No description provided.

…y when building documentation.

this ensures the docs build will not use local directory $BUILDTEST_ROOT/var

update output of entry 'buildtest config profiles remove'
…st. Previously we were copying configuration

file everytime since this file was imported in buildtest/defaults.py

update documentation to use 'buildtest config view' to show configuration file
@jscook2345 jscook2345 self-requested a review August 28, 2023 23:18
Copy link

@jscook2345 jscook2345 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@shahzebsiddiqui shahzebsiddiqui merged commit 97bdd6c into devel Aug 29, 2023
@shahzebsiddiqui shahzebsiddiqui deleted the change_docs_build_unique_dir branch August 29, 2023 14:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants