diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-08-14 05:14:52 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-08-14 05:14:52 +0000 |
| commit | ab8cc85adde879fb963c94d15675783f2cf4b183 (patch) | |
| tree | c202482327f474583b750b2c45dedfc4e4312b1d /src/doc/Makefile.pamphlet | |
| download | open-axiom-ab8cc85adde879fb963c94d15675783f2cf4b183.tar.gz | |
Initial population.
Diffstat (limited to 'src/doc/Makefile.pamphlet')
| -rw-r--r-- | src/doc/Makefile.pamphlet | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/src/doc/Makefile.pamphlet b/src/doc/Makefile.pamphlet new file mode 100644 index 00000000..b071b536 --- /dev/null +++ b/src/doc/Makefile.pamphlet @@ -0,0 +1,64 @@ +%% 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} |