Ticket #11645: trac_11645-fix_missing_help.cnf_file.patch
File trac_11645-fix_missing_help.cnf_file.patch, 481 bytes (added by , 10 years ago) |
---|
-
spkg-install
diff -r 7f9b12abe20d spkg-install
a b 356 356 357 357 install_docs() 358 358 { 359 cp -p "$SHARED/singular.hlp" "$SHARED/singular.idx" "$SAGE_LOCAL/share/singular/" 359 cp -p "$SHARED/singular.hlp" "$SHARED/singular.idx" "$SRC/Singular/LIB/help.cnf" \ 360 "$SAGE_LOCAL/share/singular/" 360 361 if [ $? -ne 0 ]; then 361 362 echo "Error installing documentation" 362 363 exit 1