Ticket #10825: 10825.patch

File 10825.patch, 1.3 KB (added by jason, 9 years ago)

FYI Only---already applied to spkg.

  • SPKG.txt

    # HG changeset patch
    # User Jason Grout <jason-sage@creativetrax.com>
    # Date 1299002418 21600
    # Node ID 69ff80a88c52d1685aedc9e02ce8281b449c429d
    # Parent  e630ae9e0f4cdcaed6ebc5531fed7af7ab086320
    #10825: Add SAGE_SPKG_INSTALL_DOCS support to build and install docs in $SAGE_ROOT/local/share/doc/
    
    diff -r e630ae9e0f4c -r 69ff80a88c52 SPKG.txt
    a b  
    2323
    2424== Change log ==
    2525
     26=== gap-4.4.12.p5 (Jason Grout, 22 Feb 2011) ===
     27 * #10825: Add SAGE_SPKG_INSTALL_DOCS support to build and install docs in $SAGE_ROOT/local/share/doc/
     28
    2629=== gap-4.4.12.p4 (David Kirkby, 14th June 2010) ===
    2730 * #9098 "gap buillds 32-bit on OpenSolaris when SAGE64=yes"
    2831   Change spkg-install to allow gap to build 64-bit on Solaris.
  • spkg-install

    diff -r e630ae9e0f4c -r 69ff80a88c52 spkg-install
    a b  
    105105        echo "Error copying customized gap startup script."
    106106        exit 1
    107107    fi
     108   
     109    # Build and install docs if requested
     110    if [ "x$SAGE_SPKG_INSTALL_DOCS" = xyes ] ; then
     111        if [ $? -ne 0 ]; then
     112            echo "Error building gap docs."
     113            exit 1
     114        fi
     115        mkdir -p $SAGE_ROOT/local/share/doc/gap
     116        cp -r src/doc/htm $SAGE_ROOT/local/share/doc/gap/html
     117    fi
    108118}
    109119
    110120build