summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Ron de Bruijn <rmbruijn@gmail.com>2011-09-30 08:16:50 -0400
committerGravatar Ron de Bruijn <rmbruijn@gmail.com>2011-09-30 08:16:50 -0400
commit9510a409d0c718142f583b3528e09dd2e3df85ca (patch)
treecfdd9f844bd75d050fcd02a0b571a09624edcd11 /doc
parentf926b6418df3e6b835f8bc5b7c44906c9742a085 (diff)
Fix searching for underscore elements in PDF files.
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index 20c78235..d98029af 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -1,6 +1,6 @@
\documentclass{article}
\usepackage{fullpage,amsmath,amssymb,proof,url}
-
+\usepackage[T1]{fontenc}
\newcommand{\cd}[1]{\texttt{#1}}
\newcommand{\mt}[1]{\mathsf{#1}}