[dune-pdelab] Merge requests for pdelab

[Oliver Sander]

> 
> I did a little writeup of the process on the GitLab wiki:
> 
> http://conan2.iwr.uni-heidelberg.de/git/pdelab/dune-pdelab/wikis/contributing/external
> 

Hi Steffen,
thanks.  Here are two comments:
1) I'd would be convenient to mention the precise command to add the new remote at the end of 'Setup'.
   Not a big thing, but still...
2) There is a typo is Step 5:  For the tests its 'make build_tests', not 'make build-tests'.

Best,
Oliver



-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune-pdelab/attachments/20150629/d29ea0bf/attachment.sig>