diff --git a/scripts/mk_map.php b/scripts/mk_map.php new file mode 100644 index 0000000000000000000000000000000000000000..7f0eb508635b660c9d57d84ab2bc70fcce9e68d2 --- /dev/null +++ b/scripts/mk_map.php @@ -0,0 +1,10 @@ +<?php +/* + * This is a utility to regenerate the maps images from the command line + * The same can be acheved wia web with update_maps + */ +require_once("../lib/config.php"); +require_once("../lib/eduGAIN_map.php"); +eduGAIN_map::make_maps(); +eduGAIN_map::make_maps(1); +?>