build_demo
//fonction qui construit les fichiers //demos de la boîte à outils function build_demo() if fileinfo(MODNUM+'/man')<>[] then printf("Generate demos of Modnum...\n"); exec(MODNUM+'/man/load_doc_var.sce',-1); generate_modnum_dem(); printf("Done\n"); else printf("Can''t find man directory.\n"); end endfunction