From c5a531c6db7a650120df4b4a50c91530a2711bbb Mon Sep 17 00:00:00 2001 From: Jonathan Druart Date: Mon, 19 Oct 2015 09:11:48 +0100 Subject: [PATCH] Bug 14722: rename the script --- misc/{export.pl => export_records.pl} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename misc/{export.pl => export_records.pl} (98%) diff --git a/misc/export.pl b/misc/export_records.pl similarity index 98% rename from misc/export.pl rename to misc/export_records.pl index 02fca66..cbb4bb0 100755 --- a/misc/export.pl +++ b/misc/export_records.pl @@ -209,7 +209,7 @@ export records - This script exports record (biblios or authorities) =head1 SYNOPSIS -export.pl [-h|--help] [--format=format] [--date=date] [--record-type=TYPE] [--dont_export_items] [--deleted_barcodes] [--clean] [--id_list_file=PATH] --filename=outputfile +export_records.pl [-h|--help] [--format=format] [--date=date] [--record-type=TYPE] [--dont_export_items] [--deleted_barcodes] [--clean] [--id_list_file=PATH] --filename=outputfile =head1 OPTIONS -- 2.1.0