print " &showlist);";
print "";
print " /* For old-timers, allow \"info copying\", etc. */";
print " add_info (\"copying\", show_copying_command,";
print " &showlist);";
print "";
print " /* For old-timers, allow \"info copying\", etc. */";
print " add_info (\"copying\", show_copying_command,";