John Ericson 74393024d6 Fix more profile dirs in docs ... Picking up where #8078 left off. (cherry picked from commit 8df6f7bb0f)		2023-03-27 20:36:16 +00:00
..
manual	Fix more profile dirs in docs	2023-03-27 20:36:16 +00:00