chiark
/
gitweb
/
~mdw
/
distorted-keys
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
4c8c406
)
keys.keeper-cards: Fallback plan in case `mdwfonts' doesn't exist.
author
Mark Wooding
<mdw@distorted.org.uk>
Tue, 10 Jan 2012 00:39:11 +0000
(
00:39
+0000)
committer
Mark Wooding
<mdw@distorted.org.uk>
Mon, 13 Feb 2012 00:25:30 +0000
(
00:25
+0000)
Just don't fiddle with the fonts in that case.
keys.keeper-cards
patch
|
blob
|
blame
|
history
diff --git
a/keys.keeper-cards
b/keys.keeper-cards
index 825f6f57eb9cf30f7beaff976fd9096802f42860..01c1444357e7e24c8ada6fb17177384a06681438 100755
(executable)
--- a/
keys.keeper-cards
+++ b/
keys.keeper-cards
@@
-101,7
+101,13
@@
cat >&3 <<'EOF'
\documentclass[a4paper, landscape, 12pt]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
+EOF
+if kpsewhich mdwfonts.sty >/dev/null; then
+ cat >&3 <<'EOF'
\usepackage[palatino, helvetica, courier, maths = cmr]{mdwfonts}
+EOF
+fi
+cat >&3 <<'EOF'
\usepackage{graphicx}
%% Report errors with enough context that we can debug them.