Provided by: dolfin-bin_2019.2.0~legacy20240219.1c52e83-10ubuntu1_all
NAME
dolfin-get-demos - install DOLFIN demos in user's home direcotry
SYNOPSIS
dolfin-get-demos
BUGS
For comments, questions, bug reports etc. see http://fenicsproject.org/support.
AUTHOR
dolfin-get-demos was written by Anders Logg <logg@chalmers.se>. DOLFIN-GET-DEMOS(1)