Ticket #26762: patch-make-doc.diff

File patch-make-doc.diff, 242 bytes (added by easye, 14 years ago)

Patch SBCL to just build HTML documentation

  • doc/make-doc.sh

    old new  
    33. ../find-gnumake.sh
    44find_gnumake
    55
    6 (cd ./manual ; $GNUMAKE html pdf info)
     6(cd ./manual ; $GNUMAKE html)