Browse files

Changed inputenc on univalence.tex so that characters get displayed p…

…roperly
  • Loading branch information...
1 parent af6ec89 commit 427727241accad541d6e58401e4c033043015edf @andrejbauer committed Mar 6, 2011
View
2 OberwolfachTutorial/Makefile
@@ -21,7 +21,7 @@ default: *.vo doc
doc:
$(PDFLATEX) cheatsheet.tex
- $(COQDOC) --latex -s --body-only -o univalence_body.tex univalence.v
+ $(COQDOC) --latex --utf8 -s --body-only -o univalence_body.tex univalence.v
$(PDFLATEX) univalence.tex
$(PDFLATEX) univalence.tex
View
BIN OberwolfachTutorial/cheatsheet.pdf
Binary file not shown.
View
BIN OberwolfachTutorial/univalence.pdf
Binary file not shown.
View
2 OberwolfachTutorial/univalence.tex
@@ -12,7 +12,7 @@
% generated by coqdoc. This way we control the style of the document.
% See Makefile for the correct coqdoc incantation.
-\usepackage[]{inputenc}
+\usepackage[utf8]{inputenc}
\usepackage{fullpage}
\usepackage{coqdoc}
\usepackage{amsmath,amssymb}

0 comments on commit 4277272

Please sign in to comment.