doc-src/IsarOverview/Isar/makeDemo
author Walther Neuper <neuper@ist.tugraz.at>
Thu, 12 Aug 2010 15:03:34 +0200
branchisac-from-Isabelle2009-2
changeset 37913 20e3616b2d9c
parent 13999 454a2ad0c381
permissions -rwxr-xr-x
prepare reactivation of isac-update-Isa09-2
kleing@13999
     1
#!/usr/bin/perl -w
kleing@13999
     2
kleing@13999
     3
sub doit {
kleing@13999
     4
    my ($file) = @_;
kleing@13999
     5
kleing@13999
     6
    open (FILE, $file) || die $!;
kleing@13999
     7
    undef $/; $text = <FILE>; $/ = "\n";
kleing@13999
     8
    close FILE || die $!;
kleing@13999
     9
kleing@13999
    10
    $_ = $text;
kleing@13999
    11
kleing@13999
    12
    s/text_raw\{\*([^*]|\*[^}])*\*\}//sg;       # actual work done here
kleing@13999
    13
    s/text\{\*([^*]|\*[^}])*\*\}//sg;       # actual work done here
kleing@13999
    14
    s/\(\*<\*\)//sg;
kleing@13999
    15
    s/\(\*>\*\)//sg;
kleing@13999
    16
    s/--(\ )*"([^"])*"//sg;
kleing@13999
    17
    s/--(\ )*\{\*([^*]|\*[^}])*\*\}//sg;
kleing@13999
    18
kleing@13999
    19
    $result = $_;
kleing@13999
    20
kleing@13999
    21
    if ($text ne $result) {
kleing@13999
    22
        print STDERR "fixing $file\n";
kleing@13999
    23
#        if (! -f "$file~~") {
kleing@13999
    24
#            rename $file, "$file~~" || die $!;
kleing@13999
    25
#        }
kleing@13999
    26
        open (FILE, "> Demo/$file") || die $!;
kleing@13999
    27
        print FILE $result;
kleing@13999
    28
        close FILE || die $!;
kleing@13999
    29
    }
kleing@13999
    30
}
kleing@13999
    31
kleing@13999
    32
kleing@13999
    33
foreach $file (@ARGV) {
kleing@13999
    34
  eval { &doit($file); };
kleing@13999
    35
  if ($@) { print STDERR "*** doit $file: ", $@, "\n"; }
kleing@13999
    36
}