The question is what is your goal because the bootstrapped image will have in the end (almost) the same content as the default non-bootstrapped image.��
You probably want to change the content of the produced image wich requires to modify the related baselines and do not load them all. For Dr Geo you will probably want to start with the BaselineOfMorphic however you will probably need a lot of custom modifications.

-- Pavel

2017-06-24 9:07 GMT+02:00 Hilaire <hilaire@drgeo.eu>:
Just to be sure, it is to build an image from a mini-image,�� right? So
to get a fairly small Dr. Geo image.

Le 24/06/2017 �� 09:00, Hilaire a ��crit :
> Thanks,
>
> Can you key in the exact sequence to clone the git repo, I am not used
> to GIT yet.
>
> Hilaire

--
Dr. Geo
http://drgeo.eu