| Index: Makefile
|
| diff --git a/Makefile b/Makefile
|
| index 6395e92895802250e2b36735daeeafb50d5cdf6f..8b9523dcc1977bb912cdd63e2fe4891237707349 100644
|
| --- a/Makefile
|
| +++ b/Makefile
|
| @@ -120,6 +120,7 @@ ALL_PORTS = \
|
| ports/gsl \
|
| ports/hdf5 \
|
| ports/imagemagick \
|
| + ports/ipython_extension \
|
| ports/jpeg6b \
|
| ports/jpeg8d \
|
| ports/jsoncpp \
|
| @@ -454,6 +455,7 @@ dosbox: ports/dosbox ;
|
| drod: ports/drod ;
|
| gdb: ports/gdb ;
|
| git: ports/git ;
|
| +ipython_extension: ports/ipython_extension ;
|
| mesagl: ports/mesagl ;
|
| mongoose: ports/mongoose ;
|
| nano: ports/nano ;
|
|
|