Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixed doc/conf.py #17813 #17814

Merged
merged 1 commit into from
Aug 4, 2016
Merged

Fixed doc/conf.py #17813 #17814

merged 1 commit into from
Aug 4, 2016

Conversation

jw3126
Copy link
Contributor

@jw3126 jw3126 commented Aug 4, 2016

Fixed missing UnicodeCharacters doc/conf.py, see [edit by tkelman: closes #17813]

Fixed missing UnicodeCharacters doc/conf.py, see JuliaLang#17813
@tkelman tkelman added docsystem The documentation building system backport pending 0.5 labels Aug 4, 2016
@tkelman tkelman merged commit 6939e64 into JuliaLang:master Aug 4, 2016
@tkelman
Copy link
Contributor

tkelman commented Aug 4, 2016

I didn't notice the duplicated + from copy-pasting the whole patch line until right after I merged.

Note to self, also backport 6ba6d8d along with this.

tkelman pushed a commit that referenced this pull request Aug 11, 2016
Fixed missing UnicodeCharacters doc/conf.py, see #17813
(cherry picked from commit f566f0d)
ref #17814

remove patch copy-paste + artifacts from doc/conf.py

(cherry picked from commit 6ba6d8d)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docsystem The documentation building system
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Problems with latexpdf ing the documentation
2 participants