File tree Expand file tree Collapse file tree 2 files changed +5
-1
lines changed
Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change 1919 run : |
2020 python3 --version
2121 sphinx-build --version
22+ DEBIAN_FRONTEND=noninteractive apt-get update -y
23+ DEBIAN_FRONTEND=noninteractive apt-get install texlive-fonts-recommended -y
2224 - name : Lint .rst files
2325 run : |
2426 if find . -name '*.rst' | xargs grep -P '\t'; then echo 'Tabs are bad, please use four spaces in .rst files.'; false; fi
Original file line number Diff line number Diff line change @@ -136,6 +136,8 @@ def get_git_revision_short_hash():
136136
137137\usepackage{titling}
138138\usepackage{fancyhdr}
139+ \usepackage{times}
140+ \usepackage{courier}
139141\makeatletter
140142\fancypagestyle{normal}{
141143 \fancyhf{}
@@ -249,7 +251,7 @@ def get_git_revision_short_hash():
249251
250252 # The font size ('10pt', '11pt' or '12pt').
251253 #
252- 'pointsize' : '12pt ' ,
254+ 'pointsize' : '11pt ' ,
253255
254256 # Other document class options - ensure uniform header/footer
255257 'classoptions' : ',oneside,openany' ,
You can’t perform that action at this time.
0 commit comments