8# ------------------------------------------------------------------------------------------
10# Utility script to add tabulated PDFs.
12# ------------------------------------------------------------------------------------------
15if [ -z $JPP_DIR ]; then
16 echo "Variable JPP_DIR undefined."
21source $JPP_DIR/setenv.sh $JPP_DIR
23set_variable PDF $JPP_DATA/J%p.dat
30 1) set_variable PDF $1;;
33if ( ! reuse_file ${PDF/\%/1001} ); then
42if ( ! reuse_file ${PDF/\%/1003} ); then
51if ( ! reuse_file ${PDF/\%/1005} ); then