if (!prefix_directory.empty_b())
{
- global_path.add (prefix_directory + "/share/lilypond/init/");
- global_path.add (prefix_directory + "/share/lilypond");
+ global_path.add (prefix_directory + "/share/lilypond/ly/");
+ global_path.add (prefix_directory + "/share/lilypond/afm/");
+ }
+ else
+ {
+ global_path.add (String (DIR_DATADIR) + "/ly/");
+ global_path.add (String (DIR_DATADIR) + "/afm/");
}
-
- global_path.add (String (DIR_DATADIR) + "/ly/");
- global_path.add (String (DIR_DATADIR) + "/afm/");
}
+
void
main_prog (int argc, char **argv)
{
default_outname_base_global = outname_str;
do_one_file (i, default_outname_base_global);
}
+ exit( exit_status_i_);
}
int
#endif
}
-/*
- urg: make input file name:
+/**
+ make input file name from command arg.
- input: file name
+ @input file name
- output: file name with added default extension. "" is stdin.
+ @output file name with added default extension. "" is stdin.
in reference argument: the extension. ".ly" if none
*/
String
split_path (str,a,b,c,ext_r);
// add extension if not present.
+ // UGH. Should parametrise in list of default extensions.
if (ext_r.empty_b ())
{
ext_r = ".fly";