+
+ file = basename (strdup (argv[1]));
+
+ if (name != Mnil)
+ {
+ MPlist *plist;
+
+ printf ("*/\n/***ja\n<li> %s (language:", file);
+ if (language == Mt)
+ printf ("generic name:%s", msymbol_name (name));
+ else
+ printf ("%s name:%s", msymbol_name (language), msymbol_name (name));
+ printf (")*/\n/***en\n<li> %s (language:", file);
+ if (language == Mt)
+ printf ("generic name:%s", msymbol_name (name));
+ else
+ printf ("%s name:%s", msymbol_name (language), msymbol_name (name));
+ plist = minput_get_title_icon (language, name);
+ if (plist)
+ {
+ MText *title = mplist_value (plist);
+
+ printf ("@htmlonly\n title:\"");
+ plist = mplist_next (plist);
+ mconv_encode_stream (Mutf8, title, stdout);
+ printf ("\"");
+ if (mplist_key (plist) != Mnil)
+ {
+ MText *icon = mplist_value (plist);
+ char *iconfile = mtext_data (icon, MTEXT_FORMAT_US_ASCII,
+ NULL, NULL, NULL);
+ char *base;
+ char cmd[1024];
+
+ base = basename (strdup (iconfile));
+ sprintf (cmd, "convert -resize 50%% %s images/icon-%s",
+ iconfile, base);
+ system (cmd);
+ printf (" icon:<img src=\"icon-%s\" border=\"1\" style=\"vertical-align:middle;\">\n", base);
+ }
+ else
+ printf (" icon:none\n");
+ printf ("@endhtmlonly\n");
+ }
+ printf (")*/\n/***\n");
+ }
+ else
+ printf ("<li> %s (extra-name:%s, only for inclusion)\n", file,
+ msymbol_name (name));
+