change file names

This commit is contained in:
Tino Schreiber 2023-03-13 14:34:51 +00:00
parent 90a67c482c
commit f740c01e73

View File

@ -370,13 +370,13 @@ categories:
type: tool-guide
pdf_name: obs-tool-guide
hc_location: browsertg/obs
- html_location: docs/obs/parallel-file-system
- html_location: docs/obs/pfs
rst_location: doc/parallel-file-system/source
title: Parallel File System (PFS)
type: parallel-file-system
pdf_name: obs-pfs
hc_location: pfs/obs
- html_location: docs/obs/permissions-configuration-guide
- html_location: docs/obs/perms-cfg
rst_location: doc/permissions-configuration-guide/source
title: Permissions Configuration Guide
type: permissions-configuration-guide