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

svn: r16004
2009-09-14 14:46:00 +00:00 · 2009-09-14 14:46:00 +00:00 · f2a96f200a
commit f2a96f200a
parent e26af436bc
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}