Provided by: dolfin-bin_2019.2.0~legacy20240219.1c52e83-10ubuntu1_all bug

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)