diff --git a/doc/buildsystem/buildsystem.tex b/doc/buildsystem/buildsystem.tex index 0ee61561edb3d21d14a88189ec8497852b401256..102acffa89584a3cc1865d633f6aa710933ca6bb 100644 --- a/doc/buildsystem/buildsystem.tex +++ b/doc/buildsystem/buildsystem.tex @@ -35,8 +35,6 @@ \newcommand{\dunecommon}{\texttt{dune-common}\xspace} \newcommand{\duneistl}{\texttt{dune-istl}\xspace} \newcommand{\dunegrid}{\texttt{dune-grid}\xspace} -\newcommand{\dunefem}{\texttt{dune-fem}\xspace} -\newcommand{\dunedisc}{\texttt{dune-disc}\xspace} \newcommand{\dunegridhowto}{\texttt{dune-grid-howto}\xspace} \newcommand{\dunegriddevhowto}{\texttt{dune-grid-dev-howto}\xspace} \newcommand{\dunecontrol}{\texttt{dunecontrol}\xspace}