User Guides: Rename playground-user-guide to user-guides
Move files to final place. Change-Id: I3e88ce145f05daafb23c0516cd9da75a92b62e3c
This commit is contained in:
parent
276b12a784
commit
5db746f9e8
2
.gitignore
vendored
2
.gitignore
vendored
@ -7,7 +7,7 @@ target/
|
||||
/publish-docs/
|
||||
/www/output/
|
||||
/generated/
|
||||
/doc/playground-user-guide/build-admin/
|
||||
/doc/user-guides/build-admin/
|
||||
build/
|
||||
/build-*.log.gz
|
||||
|
||||
|
@ -25,7 +25,7 @@ DOC_DIR="doc/"
|
||||
# Values need to match content in project-config/jenkins/scripts/common_translation_update.sh
|
||||
declare -A SPECIAL_BOOKS
|
||||
SPECIAL_BOOKS=(
|
||||
["playground-user-guide"]="RST"
|
||||
["user-guides"]="RST"
|
||||
["networking-guide"]="skip"
|
||||
["hot-guide"]="skip"
|
||||
)
|
||||
|
Before Width: | Height: | Size: 25 KiB After Width: | Height: | Size: 25 KiB |
Before Width: | Height: | Size: 73 KiB After Width: | Height: | Size: 73 KiB |
Before Width: | Height: | Size: 71 KiB After Width: | Height: | Size: 71 KiB |
Some files were not shown because too many files have changed in this diff Show More
Loading…
x
Reference in New Issue
Block a user