anchor.diff:  ;;; ================================================================================
   
   ;;;  TODO: copy highest-numbered patch from "$SPECWARE4"/Release/Linux/CMU/Patches
  -;;; /bin/cp "$SPECWARE4"/Release/Linux/CMU/Patches/patch-4-0-6.x86f          "$SPECWARE4"/distribution-cmulisp/Patches
  +;;; /bin/cp "$SPECWARE4"/Release/Linux/CMU/Patches/patch-4-0-6.x86f  "$SPECWARE4"/distribution-cmulisp/Patches
   
   (defun prepare_patch_dir (source-dir target-dir)
     (let ((source-patch-dir (extend-directory source-dir "Release" "Windows" "Patches"))
  
positive.code: 					 (merge-pathnames source-windows-dir         "Update_SWPATH.cmd")
  					 (merge-pathnames source-generic-dir         "StartSpecwareShell.lisp"))
  				   t)
      ;; CVS is perversely hardwired to refuse accept *.exe files.
      ;; They are presumed to be binary files and hence outside it's purview.
      ;; The documented means for overriding the default behavior 
      ;; (putting ! in the .cvsignore file).
      ;; I tried to enter the .exe files under aliases, and later rename them 
      ;; back to .exe for the CD.  But no matter what alias is used, CVS will 
      ;; accept the first version and then refuse to update after that.
      ;; So we prepare a zip file to put the related dxl,exe,lic files together
      ;; in a form that can evade CVS's deadly radar.
      ;; (Was I really, really bad in some previous incarnation??)
      (let* ((zip-file (make-pathname :name     Specware-name 
  				    :type     "zip"
  				    :defaults target-dir))
  
negative.code: 	  (target-doc-dir (ensure-subdirs-exist target-dir "Documentation")))
        ;; (format t "~&;;;~%")
        (format t "~&;;;   Getting Documentation ...~%")
        (copy-dist-file  (make-pathname :name "SpecwareLanguageManual"    :type "pdf" :defaults (extend-directory source-doc-dir "language-manual")) 
  		       (make-pathname :name "SpecwareLanguageManual"    :type "pdf" :defaults target-doc-dir))
        (copy-dist-file  (make-pathname :name "SpecwareTutorial"          :type "pdf" :defaults (extend-directory source-doc-dir "tutorial"))
  		       (make-pathname :name "SpecwareTutorial"          :type "pdf" :defaults target-doc-dir))
        (copy-dist-file  (make-pathname :name "SpecwareUserManual"        :type "pdf" :defaults (extend-directory source-doc-dir "user-manual"))
  		       (make-pathname :name "SpecwareUserManual"        :type "pdf" :defaults target-doc-dir))
        (copy-dist-file  (make-pathname :name "QuickReference"            :type "pdf" :defaults (extend-directory source-doc-dir "cheat-sheet"))
  		       (make-pathname :name "Specware-QuickReference"   :type "pdf" :defaults target-doc-dir))
        (copy-dist-file  (make-pathname :name "SpecwareIsabelleInterface" :type "pdf" :defaults (extend-directory source-doc-dir "isabelle-interface"))
  		       (make-pathname :name "SpecwareIsabelleInterface" :type "pdf" :defaults target-doc-dir))
  
        (let ((notes-file (make-pathname :name "ReleaseNotes" :type "txt" :defaults source-doc-dir)))
  	(when (probe-file notes-file)
  	  (copy-dist-file notes-file
  			  (make-pathname :name "ReleaseNotes" :type "txt" :defaults target-doc-dir))))
        )
  
      ;; Examples
  