Scribble latex prefix: add usepackage[utf8]{inputenc}

svn: r16004 original commit: f2a96f200a1c31eba43f8da7ee913f7acd391665
2009-09-14 14:46:00 +00:00 · 2009-09-14 14:46:00 +00:00 · 0cd2ba733a
commit 0cd2ba733a
parent 72f49f3c24
2 changed files with 4 additions and 0 deletions
--- 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}
--- 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}