aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2007-12-27 18:28:50 +0000
committerdos-reis <gdr@axiomatics.org>2007-12-27 18:28:50 +0000
commit5d3c517bfbca1bf3bf93111dd7e9969d5aa8e486 (patch)
tree164de101bf9d769d95efcab3579eb0cb4b5e6dee /src
parent3e444950379ac4536b158da4c0469914ac5548e5 (diff)
downloadopen-axiom-5d3c517bfbca1bf3bf93111dd7e9969d5aa8e486.tar.gz
Remove src/booklets
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog1
-rw-r--r--src/Makefile.in2
-rw-r--r--src/Makefile.pamphlet13
3 files changed, 1 insertions, 15 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 3819c0f3..4cff7364 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,6 +1,7 @@
2007-12-27 Gabriel Dos Reis <gdr@cs.tamu.edu>
* booklets: Remove.
+ * Makefile.pamphlet (all-book): Remove.
2007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu>
diff --git a/src/Makefile.in b/src/Makefile.in
index 0ab6dd64..bc2835dd 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -32,8 +32,6 @@ all-share:
cd share && ${MAKE}
all-doc:
cd doc && ${MAKE}
-all-book:
- cd booklets && ${MAKE}
all-lib:
@cd lib && $(MAKE) $@
all-lisp: all-lib
diff --git a/src/Makefile.pamphlet b/src/Makefile.pamphlet
index f7cb6918..06029371 100644
--- a/src/Makefile.pamphlet
+++ b/src/Makefile.pamphlet
@@ -92,18 +92,6 @@ all-share:
cd share && ${MAKE}
@
-\subsection{The \File{booklets/} directory}
-
-The \File{booklets/} directory contains pamphlet files that document
-Axiom at a "higher level" than any particular pamphlet file. Booklets
-can be stand-alone descriptions (e.g. the Rosetta.pamphlet),
-top-down slices thru the system (e.g. the Integration.pamphlet),
-or horizontal slices thru the system (e.g. the Matrix.pamphlet).
-<<bookletsdir>>=
-all-book:
- cd booklets && ${MAKE}
-@
-
\subsection{The \File{lib/} directory}
The \File{lib/} directory is used to build \File{libspad.a} which
@@ -274,7 +262,6 @@ stamp: @axiom_src_all@
<<hyperdir>>
<<sharedir>>
<<docdir>>
-<<bookletsdir>>
<<libdir>>
<<lispdir>>
<<bootdir>>