From 2cf95743e9da1d610119c02bf139deeb865c01b5 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 --- 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 a9cfe74e73..480671a3d7 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 5344476693..e57dd4f9a3 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}