Ticket #11645: trac_11645-fix_missing_help.cnf_file.patch

File trac_11645-fix_missing_help.cnf_file.patch, 481 bytes (added by leif, 10 years ago)

Patch to Singular's spkg-install installing the otherwise missing help.cnf. (This actually fixes #11519, and partially #5994.)

  • spkg-install

    diff -r 7f9b12abe20d spkg-install
    a b  
    356356
    357357install_docs()
    358358{
    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/"
    360361    if [ $? -ne 0 ]; then
    361362        echo "Error installing documentation"
    362363        exit 1