VirtualBox-no-scrextend.patch

   1 --- VirtualBox-5.0.0/doc/manual/docbook2latex.xsl.orig  2015-07-09 22:40:10.126159489 +0200
   2 +++ VirtualBox-5.0.0/doc/manual/docbook2latex.xsl       2015-07-09 22:40:24.342836635 +0200
   3 @@ -117,7 +117,6 @@
   4  \usepackage{fancyvrb}
   5  \usepackage{alltt}
   6  \usepackage{color}
   7 -\usepackage{scrextend}
   8  \definecolor{darkgreen}{rgb}{0,0.6,0}
   9
  10  </xsl:text>