anchor.diff:  	  (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))
  -      (let ((notes-file (make-pathname :name "ReleaseNotes"        :type "txt" :defaults source-doc-dir)))
  +      (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))))
  +			  (make-pathname :name "ReleaseNotes" :type "txt" :defaults target-doc-dir))))
         )
   
       ;; Examples
  
positive.code: 
      (copy-dist-directory (extend-directory source-dir    "ProverBase")
  			 (extend-directory component-dir "ProverBase"))
  
      ;; When the user's Specware application starts, they need to load some 
      ;; handcoded definitions for a few primitive ops declared but not defined
  
negative.code: 					 (merge-pathnames source-windows-dir         "Update_SWPATH.cmd")
  					 (merge-pathnames source-generic-dir         "StartSpecwareShell.lisp"))
  				   t)
  
      ;; CVS is perversely hardwired to refuse to 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 
      ;; a ! in the .cvsignore file, doesnt't work.
      ;; 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))
  