From f2a96f200a1c31eba43f8da7ee913f7acd391665 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 14 Sep 2009 14:46:00 +0000 Subject: [PATCH] Scribble latex prefix: add usepackage[utf8]{inputenc} svn: r16004 --- collects/scribble/manual-prefix.tex | 2 ++ collects/scribble/scribble-prefix.tex | 2 ++ 2 files changed, 4 insertions(+) diff --git a/collects/scribble/manual-prefix.tex b/collects/scribble/manual-prefix.tex index ddad26f489..a9cfe74e73 100644 --- a/collects/scribble/manual-prefix.tex +++ b/collects/scribble/manual-prefix.tex @@ -10,3 +10,5 @@ \advance \oddsidemargin by -0.15in \advance \evensidemargin by -0.15in \advance \textwidth by 0.3in + +\usepackage[utf8]{inputenc} diff --git a/collects/scribble/scribble-prefix.tex b/collects/scribble/scribble-prefix.tex index 55b52ddb5c..5344476693 100644 --- a/collects/scribble/scribble-prefix.tex +++ b/collects/scribble/scribble-prefix.tex @@ -1,2 +1,4 @@ % This is the default prefix for Scribble-generated Latex \documentclass{article} + +\usepackage[utf8]{inputenc}