[Dune] dune link auf dune.

[Robert Kloefkorn]

Bernard Haasdonk wrote:
> Hi Robert,
> 
> ich glaube, der bewirkt, dass man beim --with-dune nicht nur $HOME
> sondern auch $HOME/dune als Pfad angeben kann. Bei den anderen
> Pfadangaben wird ja immer explizit der komplette Verzeichnisname
> verlangt, daher ist das etwas intuitiver und homogener im Gebrauch der
> --with-albert --with-grape, etc.

Hmm, dann sollten wir uns auf eine Variante festlegen, eben die üblich,
meine ich. (Auch wenn das bedeutet, das dann ein paar dune/ mit " "
replaced werden müssen.

Gruss

R

-- 

  Robert Klöfkorn           <robertk at mathematik.uni-freiburg.de>

  Mathematisches Institut              Tel: +49 (0) 761 203 5631
  Abt. für Angewandte Mathematik       Fax: +49 (0) 761 203 5632
  Universität Freiburg
  Hermann-Herder-Str. 10
  79104 Freiburg

  http://www.mathematik.uni-freiburg.de/IAM/homepages/robertk