Skip to content

Commit 54b9812

Browse files
committed
Disable Sphinx Domains completely
1 parent bc565a5 commit 54b9812

File tree

3 files changed

+10
-13
lines changed

3 files changed

+10
-13
lines changed

.github/workflows/ci.yaml

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -29,13 +29,13 @@ jobs:
2929
- name: "Install Sphinx dependencies"
3030
run: sudo apt-get install python-dev build-essential
3131

32-
# - name: "Cache pip"
33-
# uses: actions/cache@v2
34-
# with:
35-
# path: ~/.cache/pip
36-
# key: ${{ runner.os }}-pip-${{ hashFiles('_build/.requirements.txt') }}
37-
# restore-keys: |
38-
# ${{ runner.os }}-pip-
32+
- name: "Cache pip"
33+
uses: actions/cache@v2
34+
with:
35+
path: ~/.cache/pip
36+
key: ${{ runner.os }}-pip-${{ hashFiles('_build/.requirements.txt') }}
37+
restore-keys: |
38+
${{ runner.os }}-pip-
3939
4040
- name: "Install Sphinx + requirements via pip"
4141
run: pip install -r _build/.requirements.txt

_build/.requirements.txt

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
docutils==0.13.1
22
Pygments==2.2.0
33
sphinx==1.8.5
4-
sphinxcontrib-phpdomain==0.6.3
54
git+https://github.com/fabpot/sphinx-php.git@v2.0.0#egg_name=sphinx-php
65
jsx-lexer===0.0.8
76
sphinx_rtd_theme==0.5.0

_build/conf.py

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -38,9 +38,7 @@
3838
'sphinx.ext.autodoc', 'sphinx.ext.doctest',
3939
'sphinx.ext.todo', 'sphinx.ext.coverage', 'sphinx.ext.ifconfig',
4040
'sphinx.ext.viewcode', 'sphinx.ext.extlinks',
41-
'sensio.sphinx.codeblock',
42-
'sphinxcontrib.phpdomain',
43-
'sensio.sphinx.configurationblock', 'sensio.sphinx.phpcode', 'sensio.sphinx.bestpractice'
41+
'sensio.sphinx.codeblock', 'sensio.sphinx.configurationblock', 'sensio.sphinx.phpcode', 'sensio.sphinx.bestpractice'
4442
#,'sphinxcontrib.spelling'
4543
]
4644

@@ -132,8 +130,8 @@
132130
'varnish4': 'Varnish 4'
133131
}
134132

135-
# use PHP as the primary domain
136-
primary_domain = 'php'
133+
# don't enable Sphinx Domains
134+
primary_domain = None
137135

138136
# set url for API links
139137
api_url = 'https://github.com/symfony/symfony/blob/master/src/%s.php'

0 commit comments

Comments
 (0)