summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorUwe Ziegenhagen <ziegenhagen@gmail.com>2016-05-08 18:20:31 +0000
committerUwe Ziegenhagen <ziegenhagen@gmail.com>2016-05-08 18:20:31 +0000
commitd2fefddb97cacc040678cc64be8a77382fe1d632 (patch)
tree0f9ab15d8bd482fd831f22369b9bb6af9bd46dd7 /Master
parentb095e7c2745d4718d2a3cf6ee5b01c4253b2869e (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.tex12
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,}