File run-scaladoc-unix.patch of Package scala
*** scaladoc 2017-07-25 12:51:49.000000000 +0200 --- scaladoc 2017-10-15 21:07:15.911756844 +0200 *************** *** 73,79 **** fi # Finding the root folder for this Scala distribution ! SCALA_HOME="$(findScalaHome)" SEP=":" # Possible additional command line options --- 73,79 ---- fi # Finding the root folder for this Scala distribution ! #SCALA_HOME="$(findScalaHome)" SEP=":" # Possible additional command line options