diff options
| author | Uwe Ziegenhagen <ziegenhagen@gmail.com> | 2016-05-08 18:20:31 +0000 |
|---|---|---|
| committer | Uwe Ziegenhagen <ziegenhagen@gmail.com> | 2016-05-08 18:20:31 +0000 |
| commit | d2fefddb97cacc040678cc64be8a77382fe1d632 (patch) | |
| tree | 0f9ab15d8bd482fd831f22369b9bb6af9bd46dd7 /Master | |
| parent | b095e7c2745d4718d2a3cf6ee5b01c4253b2869e (diff) | |
git-svn-id: svn://tug.org/texlive/trunk@40951 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
| -rw-r--r-- | Master/texmf-dist/doc/texlive/texlive-de/texlive-de-html.tex | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/Master/texmf-dist/doc/texlive/texlive-de/texlive-de-html.tex b/Master/texmf-dist/doc/texlive/texlive-de/texlive-de-html.tex index a28df044784..af0805d4fd9 100644 --- a/Master/texmf-dist/doc/texlive/texlive-de/texlive-de-html.tex +++ b/Master/texmf-dist/doc/texlive/texlive-de/texlive-de-html.tex @@ -4,6 +4,7 @@ \usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
+
\usepackage{booktabs}
\usepackage{babel}
\usepackage{graphicx}
@@ -16,18 +17,13 @@ \usepackage[tocindentauto]{tocstyle}
\usepackage{alltt}
-%\usepackage{url}
-%\newcommand{\dante}{DANTE~e.\,V\kern-0.15em.}
-%\newcommand{\href}[2]{#1}
-%\usepackage{tex4ht}
-
-
-\newcommand{\tlcurrentyear}{2015}
+\newcommand{\tlcurrentyear}{2016}
\newcommand{\TL}{\TeX\ Live\xspace}
\newcommand{\email}[1]{\texttt{#1}}
\newcommand{\acro}[1]{\texttt{#1}}
\newcommand{\cmdname}[1]{\texttt{#1}}
\newcommand{\code}[1]{\texttt{#1}}
+\newcommand{\cs}[1]{\texttt{#1}}
\newcommand{\prog}[1]{\texttt{#1}}
\newcommand{\optname}[1]{\texttt{#1}}
\newcommand{\OnCD}[1]{\texttt{#1}}
@@ -47,7 +43,6 @@ \usepackage{fancyvrb}
\DefineVerbatimEnvironment{boxedverbatim}{Verbatim}{fontsize=\footnotesize,frame=single}
-
\setlength{\parskip}{1em}
\setlength{\parindent}{0pt}
@@ -73,6 +68,7 @@ \providecommand*{\USB}{\acro{USB}\xspace}
\providecommand*{\dvi}{\acro{DVI}\xspace}
\providecommand*{\web}{\acro{WEB}\xspace}
+\providecommand*{\eTeX}{e\TeX\xspace}
\providecommand*{\XeTeX}{xe\TeX\xspace}
\DeclareGraphicsExtensions{.png,}
|