| #
da15b9f4 |
|
11-May-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Make Poly version of help tools look at env var TERM at time of run not build.
|
| #
8b672f66 |
|
26-Jan-2009 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Get the 'flashy' incremental percentages effect to be turned off in
situations where there is no TERM variable set. Also, properly record
the Doc2Txt and Doc2Tex executables' dependency on Flash.uo.
|
| #
d76f367d |
|
09-Dec-2008 |
Scott Owens <Scott.Owens@cl.cam.ac.uk> |
Got the help build system working on PolyML.
|
| #
e58a33ef |
|
09-Dec-2008 |
Scott Owens <Scott.Owens@cl.cam.ac.uk> |
Start working on porting the doc building system to SML (i.e., not Moscow ML)
to get it working with Poly ML.
|