summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/koma-script/scrkernel-fonts.dtx
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/koma-script/scrkernel-fonts.dtx')
-rw-r--r--Master/texmf-dist/source/latex/koma-script/scrkernel-fonts.dtx8
1 files changed, 4 insertions, 4 deletions
diff --git a/Master/texmf-dist/source/latex/koma-script/scrkernel-fonts.dtx b/Master/texmf-dist/source/latex/koma-script/scrkernel-fonts.dtx
index c69a54fb135..a5bc0c98283 100644
--- a/Master/texmf-dist/source/latex/koma-script/scrkernel-fonts.dtx
+++ b/Master/texmf-dist/source/latex/koma-script/scrkernel-fonts.dtx
@@ -55,7 +55,7 @@
% Right brace \} Tilde \~}
%
% \iffalse
-%%% From File: $Id: scrkernel-fonts.dtx 2929 2018-02-05 06:37:22Z kohm $
+%%% From File: $Id: scrkernel-fonts.dtx 3047 2018-12-22 15:51:54Z kohm $
%<identify>%%% (run: identify)
%<option>%%% (run: option)
%<body>%%% (run: body)
@@ -66,7 +66,7 @@
\ifx\ProvidesFile\undefined\def\ProvidesFile#1[#2]{}\fi
\begingroup
\def\filedate$#1: #2-#3-#4 #5${\gdef\filedate{#2/#3/#4}}
- \filedate$Date: 2018-02-05 07:37:22 +0100 (Mon, 05 Feb 2018) $
+ \filedate$Date: 2018-12-22 16:51:54 +0100 (Sat, 22 Dec 2018) $
\def\filerevision$#1: #2 ${\gdef\filerevision{r#2}}
\filerevision$Revision: 1827 $
\edef\reserved@a{%
@@ -1112,7 +1112,7 @@
% Schriftgrößendatei ausgegeben. Der Name dieser Datei setzt sich aus dem
% ersten obligaorischen Argument gefolgt von der Schriftgröße und der
% Erweiterung \texttt{.clo} zusammen. Da Schriftgrößendateien, die mit
-% »\texttt{scrsize}« beginnen, \KOMAScript{} vorbehalten sind wird dieses
+% "`\texttt{scrsize}"' beginnen, \KOMAScript{} vorbehalten sind wird dieses
% erste Argument verweigert.
% \begin{macrocode}
\newcommand*{\generatefontfile}[1]{%
@@ -1198,7 +1198,7 @@
% Es wird nun eine Schriftgrößendatei ausgegeben. Dabei werden die aktuellen
% Einstellungen verwendet. Dabei wird die Tatsache ausgenutzt, dass diese
% Anweisung immer innerhalb einer Gruppe aufgerufen wird. Das erste Argument
-% ist der Dateinamenpräfix (also so etwas wie »\texttt{scrsize}«, das zweite
+% ist der Dateinamenpräfix (also so etwas wie "`\texttt{scrsize}"', das zweite
% Argument die gewünschte Schriftgröße. Es ist zu beachten, dass alle Werte in
% der Datei in pt angegeben werden, auch wenn die gewünschte Schriftgröße eine
% ganz andere Einheit besitzt. Das macht schlicht die Arbeit etwas einfacher.