ExternalVendorCode/corda
1
0
Fork 0
mirror of https://github.com/corda/corda.git synced 2025-06-17 14:48:16 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Minor tweaks and improvements in docs TOC to aid navigation and access.

Browse Source
This commit is contained in:
josecoll
2019-03-26 14:28:18 +00:00
committed by Mike Hearn
parent 40c1741aba
commit 9ec82b4bca
8 changed files with 38 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
docs/source/conf.py
View File

@ -98,9 +98,9 @@ language = None
# List of patterns, relative to source directory, that match files and
# directories to ignore when looking for source files.
exclude_patterns = []
exclude_patterns = ['./design/README.md']
if tags.has('pdfmode'):
exclude_patterns = ['./design']
exclude_patterns = ['./design', './design/README.md']
# The reST default role (used for this markup: `text`) to use for all
# documents.