# HG changeset patch
# User HIROSE Yuuji <yuuji@gentei.org>
# Date 1591444014 -32400
# Node ID 1ba114ebcf2c2c39b0d2c5a320de6787edda0400
# Parent  42cc0aeaa4983c07cf7eb0994a45c9ac4c3cbd04
Filename regularization

diff -r 42cc0aeaa498 -r 1ba114ebcf2c mpsplit.pl
--- a/mpsplit.pl	Sat Jun 06 16:58:53 2020 +0900
+++ b/mpsplit.pl	Sat Jun 06 20:46:54 2020 +0900
@@ -30,7 +30,7 @@
     if ($fn =~ /^([^\/]*)$/) {
       $fn = $1;
     }
-    $fn =~ s/ /_/g;
+    $fn =~ s/[ 	<>&\#'\"\&|*?]/_/g;
     $fn =~ s,.*[/\\],,;
     open(OUT, ">$dir/$fn");
       print OUT $body;