anchor.diff:    :runtime :standard
     )
   
  -;;; Copy needed directories to distribution
  +;;; Copy needed directories to distribution, deleting CVS/ directories and other
  +;;; stuff that users shouldn't see
  +
  +;;; Base specs and handwritten lisp from Specware4/Library/
  +
   (copy-directory (in-specware-dir "Library/Base/")
   		(in-distribution-dir "Library/Base/"))
   (sys:copy-file (in-specware-dir "Library/Base.sw")
   	   (in-distribution-dir "Library/Base.sw"))
   (delete-directory-and-files (in-distribution-dir "Library/Base/CVS/"))
   (delete-file (in-distribution-dir "Library/Base/System.sw"))
  +(delete-directory-and-files (in-distribution-dir "Library/Base/Handwritten/CVS/"))
  +(delete-directory-and-files (in-distribution-dir "Library/Base/Handwritten/Lisp/CVS/"))
  +(delete-file (in-distribution-dir "Library/Base/Handwritten/Lisp/.cvsignore"))
  +
  +;;; Emacs stuff from acl directory
  +
  +(copy-directory (in-lisp-dir "xeli/")
  +		(in-distribution-dir "Library/IO/Emacs/xeli/"))
  +
  +;;; Example specs from Application/Specware/Courses/NSA_Sept_2002
   
   (copy-directory (in-specware-dir "Applications/Specware/Courses/NSA_Sept_2002/")
   		(in-distribution-dir "Examples/"))
   (delete-directory-and-files (in-distribution-dir "Examples/CVS/"))
   (delete-directory-and-files (in-distribution-dir "Examples/Matching/CVS/"))
   (delete-directory-and-files (in-distribution-dir "Examples/simple1/CVS/"))
  +(delete-file (in-distribution-dir "Examples/simple1/test.lisp"))
   (delete-directory-and-files (in-distribution-dir "Examples/simple2/CVS/"))
  +(delete-file (in-distribution-dir "Examples/simple2/test.lisp"))
  +(delete-directory-and-files (in-distribution-dir "Examples/simple2/Refs/CVS/"))
  +(delete-directory-and-files (in-distribution-dir "Examples/simple2/Specs/CVS/"))
   (delete-directory-and-files (in-distribution-dir "Examples/simple3/CVS/"))
  +(delete-file (in-distribution-dir "Examples/simple3/test.lisp"))
   
  -(copy-directory (in-lisp-dir "xeli/")
  -		(in-distribution-dir "Library/IO/Emacs/xeli/"))
  +;;; Documentation pdf's from Specware4/UserDoc/
   
   (make-directory (in-distribution-dir "Documentation/"))
   (sys:copy-file (in-specware-dir "UserDoc/language-manual/SpecwareLanguageManual.pdf")
  
positive.code: 	   (in-distribution-dir "Documentation/SpecwareTutorial.pdf"))
  (sys:copy-file (in-specware-dir "UserDoc/user-manual/SpecwareUserManual.pdf")
  	   (in-distribution-dir "Documentation/SpecwareUserManual.pdf"))
  
negative.code: (defun in-specware-dir (file) (concatenate 'string Specware4-dir "/" file))
  
  (defun in-lisp-dir (file) (concatenate 'string (sys:getenv "ALLEGRO") "/" file))
  
  ;; Used in patch detection and about-specware command
  (defvar Major-Version-String "4-0")
  
  ;; This is the sub-directory to receive this particular distribution.
  ;; In particular, this is where generate-application puts all its stuff.
  