[22] | 1 | #|
|
---|
| 2 | *--------------------------------------------------------------------------*
|
---|
[26] | 3 | | Copyright (C) 2009, Marek Rychlik (e-mail: rychlik@math.arizona.edu) |
|
---|
[22] | 4 | | Department of Mathematics, University of Arizona, Tucson, AZ 85721 |
|
---|
| 5 | | |
|
---|
| 6 | | Everyone is permitted to copy, distribute and modify the code in this |
|
---|
| 7 | | directory, as long as this copyright note is preserved verbatim. |
|
---|
| 8 | *--------------------------------------------------------------------------*
|
---|
| 9 | |#
|
---|
[31] | 10 | (eval-when (:load-toplevel :compile-toplevel :execute)
|
---|
| 11 | (load "../contrib/user_man/user-manual"))
|
---|
[22] | 12 |
|
---|
[28] | 13 | (defpackage "CGB-MANUALS"
|
---|
| 14 | (:use "COMMON-LISP" "USER-MANUAL"))
|
---|
| 15 |
|
---|
| 16 | (in-package :cgb-manuals)
|
---|
| 17 |
|
---|
[22] | 18 | (defvar *cgb-packages*
|
---|
| 19 | '("MAKELIST" "ORDER" "MONOM" "XGCD" "MODULAR" "COEFFICIENT-RING"
|
---|
| 20 | "TERM" "POLY" "MODULAR-POLY" "DIVISION" "PARSE" "PRINTER" "POLY-WITH-SUGAR"
|
---|
| 21 | "GROBNER" "COLORED-POLY" "POLY-GCD" "RAT" "RATPOLY"
|
---|
| 22 | "STRING-GROBNER" "DYNAMICS" "PROVER"
|
---|
| 23 | "INFIX" "CGB-LISP"))
|
---|
| 24 |
|
---|
| 25 | ;;----------------------------------------------------------------
|
---|
| 26 | ;; Generate documentation
|
---|
| 27 | ;;----------------------------------------------------------------
|
---|
[25] | 28 | (defun create-cgb-manuals (prefix format)
|
---|
| 29 | (create-manuals (mapcar #'intern *cgb-packages*)
|
---|
| 30 | :prefix prefix
|
---|
| 31 | :extension '.lisp
|
---|
| 32 | :output-format format))
|
---|
[22] | 33 |
|
---|
[30] | 34 | (eval-when (:load-toplevel :compile-toplevel :execute)
|
---|
[43] | 35 | (asdf::operate 'asdf::load-op 'cgb)
|
---|
[30] | 36 | (create-cgb-manuals '../doc/ 'text)
|
---|
| 37 | (create-cgb-manuals '../latex-doc/ 'latex)))
|
---|