← Back to team overview

dolfin team mailing list archive

Thread
Date

Fix bug in manual: missing ./configure

To: dolfin-dev@xxxxxxxxxx
From: dolfin@xxxxxxxxxx
Date: Wed, 26 Oct 2005 04:57:03 +0200
Reply-to: Discussion of DOLFIN development <dolfin-dev@xxxxxxxxxx>
Sender: Anders Logg <logg@xxxxxxxxxx>

Commit from logg (2005-10-26 04:57 CEST)
----------------

Fix bug in manual: missing ./configure

  dolfin  doc/manual/dolfin-user-manual.pdf     1.30
  dolfin  doc/manual/chapters/installation.tex  1.8
  dolfin  doc/manual/chapters/quickstart.tex    1.4