* Makefile.pamphlet (DEP): Adjust path to comp.lisp.

	(${DEPSYS}): Likewise for def.lisp, bootlex.lisp, postprop.lisp,
	metalex.lisp.  Use |compileLispFile| instead of COMPILE-FILE.
	* Makefile.in: Regenerate.
	* union.lisp: New.
	* union.lisp.pamphlet: Move content to union.lisp.  Remove.
	* obey.lisp: New.
	* obey.lisp.pamphlet: Move content to obey.lisp.  Remove.
	* nspadaux.lisp: New.
	* nspadaux.lisp.pamphlet: Move content to nspadaux.lisp.  Remove.
	* fname.lisp: New.
	* fname.lisp.pamphlet: Move content to fname.lisp.  Remove.
	* def.lisp: New.
	* def.lisp.pamphlet: Move content to def.lisp.  Remove.
	* comp.lisp: New.
	* comp.lisp.pamphlet: Move content to comp.lisp.  Remove.
	* bootlex.lisp: New.
	* bootlex.lisp.pamphlet: Move content to bootlex.lisp.  Remove.
	* postprop.lisp: New.
	* postprop.lisp.pamphlet: Move content to postprop.lisp.  Remove.
	* metalex.lisp: New.
	* metalex.lisp.pamphlet: Move content to metalex.lisp.  Remove.
	* parsing.lisp: New.
	* parsing.lisp.pamphlet: Move content to parsing.lisp. Remove.

1 files changed, 0 insertions, 152 deletions

diff --git a/src/interp/postprop.lisp.pamphlet b/src/interp/postprop.lisp.pamphlet
deleted file mode 100644
index 0f3876d1..00000000
--- a/src/interp/postprop.lisp.pamphlet
+++ /dev/null
@@ -1,152 +0,0 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp postprop.lisp}
-\author{Timothy Daly}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
-;; Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-;; All rights reserved.
-;;
-;; Redistribution and use in source and binary forms, with or without
-;; modification, are permitted provided that the following conditions are
-;; met:
-;;
-;;     - Redistributions of source code must retain the above copyright
-;;       notice, this list of conditions and the following disclaimer.
-;;
-;;     - Redistributions in binary form must reproduce the above copyright
-;;       notice, this list of conditions and the following disclaimer in
-;;       the documentation and/or other materials provided with the
-;;       distribution.
-;;
-;;     - Neither the name of The Numerical ALgorithms Group Ltd. nor the
-;;       names of its contributors may be used to endorse or promote products
-;;       derived from this software without specific prior written permission.
-;;
-;; THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
-;; IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
-;; TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
-;; PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
-;; OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
-;; EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
-;; PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
-;; PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
-;; LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
-;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-
-@
-<<*>>=
-<<license>>
-
-(in-package "BOOT")
-
-(mapcar #'(lambda (x) (MAKEPROP (CAR X) '|special| (CADR X)))
-        '((LET |compSetq|)      (|Join| |compJoin|)
-          (|Record| |compCat|)
-          (|Union| |compCat|)   (\: |compColon|)
-          (\:\: |compCoerce|)   (CAPSULE |compCapsule|)
-          (|has| |compHas|)     (|is| |compIs|)
-          (|add| |compAdd|)     (CONS |compCons|)
-          (IF |compIf|)         (|exit| |compExit|)
-          (|return| |compReturn|)       (|leave| |compLeave|)
-          (|elt| |compElt|)     (DEF |compDefine|)
-          (MDEF |compMacro|)    (|SubsetCategory| |compSubsetCategory|)
-          (|SubDomain| |compSubDomain|)
-          (|case| |compCase|)   (|String| |compString|)
-          (|RecordCategory| |compConstructorCategory|)
-          (|ListCategory| |compConstructorCategory|)
-          (|VectorCategory| |compConstructorCategory|)
-          (|UnionCategory| |compConstructorCategory|)
-          (CATEGORY |compCategory|)
-          (COLLECT |compRepeatOrCollect|)
-          (COLLECTV |compCollectV|)
-          (REPEAT |compRepeatOrCollect|)
-          (REDUCE |compReduce|) (|where| |compWhere|)
-          (\| |compSuchthat|)   (|construct| |compConstruct|)
-          (SEQ |compSeq|)       (SETQ |compSetq|)
-          (VECTOR |compVector|)))
-
-(mapcar #'(lambda (x) (MAKEPROP (CAR X) '|postTran| (second X)))
-        '((|with| |postWith|)
-          (|Scripts| |postScripts|)
-          (/ |postSlash|)
-          (|construct| |postConstruct|)
-          (|Block| |postBlock|)
-          (QUOTE |postQUOTE|)
-          (COLLECT |postCollect|)
-          (\:BF\: |postBigFloat|)
-          (|in| |postin|)               ; the infix operator version of i
-          (IN |postIn|)                 ; the iterator form of i
-          (REPEAT |postRepeat|)
-          (|TupleCollect| |postTupleCollect|)
-          (|add| |postAdd|)
-          (|Reduce| |postReduce|)
-          (\, |postComma|)
-          (\; |postSemiColon|)
-          (|where| |postWhere|)
-          (\: |postColon|)
-          (\@ |postAtSign|)
-          (|pretend| |postPretend|)
-          (|if| |postIf|)
-          (|Join| |postJoin|)
-          (|Signature| |postSignature|)
-          (CATEGORY |postCategory|)
-          (== |postDef|)
-          (==> |postMDef|)
-          (-> |postMapping|)
-          (=> |postExit|)
-          (|Tuple| |postTuple|)))
-
-(mapcar #'(lambda (x) (MAKEPROP (CAR X) '|parseTran| (CADR X)))
-        '((\<= |parseLessEqual|)
-          (\> |parseGreaterThan|)
-          (\>= |parseGreaterEqual|)
-          ($\<= |parseDollarLessEqual|)
-          ($\> |parseDollarGreaterThan|)
-          ($\>= |parseDollarGreaterEqual|)
-          ($^= |parseDollarNotEqual|)
-          (^ |parseNot|)
-          (^= |parseNotEqual|)
-          (\: |parseColon|)
-          (\:\: |parseCoerce|)
-          (\@ |parseAtSign|)
-          (|and| |parseAnd|)
-          (CATEGORY |parseCategory|)
-          (|construct| |parseConstruct|)
-          (DEF |parseDEF|)
-          (|eqv| |parseEquivalence|)
-          (|exit| |parseExit|)
-          (|has| |parseHas|)
-          (IF |parseIf|)
-          (|implies| |parseImplies|)
-          (IN |parseIn|)
-          (INBY |parseInBy|)
-          (|is| |parseIs|)
-          (|isnt| |parseIsnt|)
-          (|Join| |parseJoin|)
-          (|leave| |parseLeave|)
-          (LET |parseLET|)
-          (LETD |parseLETD|)
-          (MDEF |parseMDEF|)
-          (|not| |parseNot|)
-          (|or| |parseOr|)
-          (|pretend| |parsePretend|)
-          (|return| |parseReturn|)
-          (SEQ |parseSeq|)
-          (VCONS |parseVCONS|)
-          (|where| |parseWhere|)
-          (|xor| |parseExclusiveOr|)))
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}