add_info_file(ginac-examples)