3 files changed, 36 insertions, 64 deletions
diff --git a/src/doc/ChangeLog b/src/doc/ChangeLog
index 0738fcf5..7819b0b5 100644
--- a/src/doc/ChangeLog
+++ b/src/doc/ChangeLog
@@ -1,3 +1,7 @@
+2007-12-27  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* Makefile.pamphlet: Remove.
+
 2007-11-19  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* msgs/s2-us.msgs: Consistently use OpenAxiom.
diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in
index e7d05985..96b6fe31 100644
--- a/src/doc/Makefile.in
+++ b/src/doc/Makefile.in
@@ -1,3 +1,35 @@
+# Copyright (C) 2007, Gabriel Dos Reis.
+# 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.
+
+
 IN=$(axiom_src_srcdir)/doc
 MID=./$(top_builddir)/int/doc
 OUT=$(axiom_target_bindir)
diff --git a/src/doc/Makefile.pamphlet b/src/doc/Makefile.pamphlet
deleted file mode 100644
index b071b536..00000000
--- a/src/doc/Makefile.pamphlet
+++ /dev/null
@@ -1,64 +0,0 @@
-%% Oh Emacs, this is a -*- Makefile -*-, so give me tabs.
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/doc/Makefile} Pamphlet}
-\author{Timothy Daly \and Gabriel Dos~Reis}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-
-\tableofcontents
-\eject
-
-
-\section{The Makefile}
-
-We need to document the commands.
-<<*>>=
-IN=$(axiom_src_srcdir)/doc
-MID=./$(top_builddir)/int/doc
-OUT=$(axiom_target_bindir)
-STY=${OUT}/tex
-DVI=$(axiom_target_docdir)
-DOC=./$(top_builddir)/int/doc
-
-subdir = src/doc/
-
-pamphlets = axiom.sty.pamphlet \
-	axiom.bib.pamphlet \
-	DeveloperNotes.pamphlet \
-	Rosetta.pamphlet \
-	$(booklet_SOURCES)
-
-FILES= ${MID}/axiom.bib ${STY}/axiom.sty \
-       ${DVI}/book.dvi ${DVI}/bookvol1.dvi ${DVI}/endpaper.dvi
-
-CMDS=$(axiom_target_bindir)/booklet
-
-.PHONY: all all-doc
-all: all-ax
-
-all-ax all-doc: stamp
-	@echo 9 finished $(builddir)
-
-stamp: ${CMDS}
-	-rm -f stamp
-	$(STAMP) stamp
-
-dvi-local: $(FILES)
-
-mostlyclean-local:
-	-rm -f $(booklet_objects)
-
-clean-local: mostlyclean-local
-	-rm -f $(axiom_target_bindir)/booklet
-	-rm -f $(booklet_sources)
-
-distclean-local: clean-local
-@
-
-
-\end{document}