From 0cd2ba733af5047d1bc18c1919074d5e8f580b3d Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 14 Sep 2009 14:46:00 +0000
Subject: [PATCH] Scribble latex prefix: add usepackage[utf8]{inputenc}

svn: r16004

original commit: f2a96f200a1c31eba43f8da7ee913f7acd391665
---
 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 ddad26f4..a9cfe74e 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 55b52ddb..53444766 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}