# LaTeX2HTML 2002 (1.62)
# Associate internals original text with physical files.


$key = q/sec:3-1-2/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_mat-discr/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:1-1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:liste-comandi/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-4-1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-4-5/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:4-2/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:1-3/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:4-2/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:4-1-2/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-2-2/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:3-1-3/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:1-2/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:1-5/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/cha:1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:4-6/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:signal/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:4-5/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:4-4/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:input-redir/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:4-1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/cha:3/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/cha:5/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-3/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:killbyname/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-4/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-4-3/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_linux-prog/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:1-4/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-1-1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:util/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:subshell/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:get/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-2/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-4-6/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:3-2-1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:3-3/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:1-6/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:5-2/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cgi/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:4-1-1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_adv-bash/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-4-2/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:3-2-2/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:dupl-file-descr/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_bash-ref/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:4-3/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/cha:2/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:3-2-4/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:3-2/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:output-redir/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:array/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-3-1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-4-4/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:file-struct/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:file-open/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:3-1-1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:3-1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-2-1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:2-1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:5-1/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:2-5/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:3-2-3/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:4-8/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

$key = q/cha:4/;
$ref_files{$key} = "$dir".q|bash-intro.html|; 
$noresave{$key} = "$nosave";

1;