aboutsummaryrefslogtreecommitdiff
path: root/Makefile.pamphlet
AgeCommit message (Expand)AuthorFilesLines
2010-08-21 External tool noweb is no longer required.dos-reis1-68/+2
2010-08-18Remove CCF variablesdos-reis1-2/+0
2010-08-16 * config/open-axiom.m4 (OPENAXIOM_REJECT_ROTTED_LISP): Tidy.dos-reis1-2/+2
2009-10-26Remove duplicate libtool targetdos-reis1-4/+1
2009-10-25 Check for Qt utilities moc and qmake.dos-reis1-0/+1
2009-08-21install is a phony targetdos-reis1-0/+1
2009-05-13 * configure.ac.pamphlet: Disable use of libtool to build shareddos-reis1-0/+3
2009-01-032009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-1/+1
2008-08-17 * algebra/Makefile.pamphlet (all-algstrap): New.dos-reis1-0/+4
2008-08-04 * Makefile.pamphlet: Use $(mkdir_p) in lieu of $(mkinstalldirs),dos-reis1-4/+4
2008-02-18 * Makefile.pamphlet (install): Tidy.dos-reis1-4/+4
2008-02-10Add support for batch processing.dos-reis1-2/+2
2008-01-052008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-26/+28
2007-12-28update AXIOM_SRC_TARGETSdos-reis1-1/+1
2007-11-262007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-2/+2
2007-10-102007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-19/+5
2007-09-10 * Makefile.pamphlet (all-noweb): Depend only on one target,dos-reis1-3/+5
2007-09-022007-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-5/+22
2007-08-26 * Makefile.pamphlet ($(AXIOM_SRC_TARGETS)): Don't augment the PATHdos-reis1-2/+1
2007-08-24 * Makefile.pamphlet ($(addprefix $(axiom_build_bindir)/, notangledos-reis1-1/+2
2007-08-222007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+5
2007-08-16 * configure.ac.pamphlet: Don't error out if noweb source filesdos-reis1-0/+40
2007-08-14(no commit message)dos-reis1-191/+34
2007-08-14Initial population.dos-reis1-0/+837
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-23 07:24:21 +0000