# @CLEAN_FILES
-# output_texinfo_build_rules ($SOURCE, $DEST, $INSRC, @DEPENDENCIES)
+# handle_texinfo_source ($SOURCE, $DEST, $INSRC, @DEPENDENCIES)
# ------------------------------------------------------------------
# SOURCE - the source Texinfo file
# DEST - the destination Info file
# INSRC - whether DEST should be built in the source tree
# DEPENDENCIES - known dependencies
-sub output_texinfo_build_rules ($$$@)
+sub handle_texinfo_source ($$$@)
{
my ($source, $dest, $insrc, @deps) = @_;
push_dist_common ('$(' . $canonical . '_TEXINFOS)');
}
- my @cfiles = output_texinfo_build_rules ($texi, $out_file,
- $insrc, @texi_deps);
+ my @cfiles = handle_texinfo_source ($texi, $out_file,
+ $insrc, @texi_deps);
push (@texi_cleans, @cfiles);
push (@info_deps_list, $out_file);