From db76d02a70dac8e23b945824a98a37f9e6c25d76 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 16 Sep 2009 17:44:09 +0000 Subject: [PATCH] adjust Scribble Latex prefix file to select T1 encoding svn: r16024 original commit: 2cf95743e9da1d610119c02bf139deeb865c01b5 --- collects/scribble/manual-prefix.tex | 1 + collects/scribble/scribble-prefix.tex | 1 + 2 files changed, 2 insertions(+) diff --git a/collects/scribble/manual-prefix.tex b/collects/scribble/manual-prefix.tex index a9cfe74e..480671a3 100644 --- a/collects/scribble/manual-prefix.tex +++ b/collects/scribble/manual-prefix.tex @@ -12,3 +12,4 @@ \advance \textwidth by 0.3in \usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} diff --git a/collects/scribble/scribble-prefix.tex b/collects/scribble/scribble-prefix.tex index 53444766..e57dd4f9 100644 --- a/collects/scribble/scribble-prefix.tex +++ b/collects/scribble/scribble-prefix.tex @@ -2,3 +2,4 @@ \documentclass{article} \usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc}