Commit graph

119 commits

Author SHA1 Message Date
Ludovic Courtès 666f543122 Build the HTML manual; add the HTML & PDF to the distribution; install them.
* doc/manual/Makefile.am (dist_html_DATA, dist_pdf_DATA): New variables.
  (manual.html): New target.
  (manual.pdf): Use $(DBLATEX), uppercase.

* configure.ac: Check for `xsltproc'.  Add `--with-docbook-xsl' option.
2011-07-04 14:48:38 +00:00
Ludovic Courtès b773b13e9b doc: Import the "Creating Projects" chapter by Visser & Dolstra. 2011-03-16 22:50:09 +00:00
Ludovic Courtès 3426bf59ff doc: Mention the 3 processes that make up Hydra. 2011-03-16 22:50:02 +00:00
Ludovic Courtès 87d1b447c2 doc: Augment the "Installation" section with material by Visser & Dolstra. 2011-03-16 07:56:39 +00:00
Ludovic Courtès b147e71dcd doc: Reintegrate the intro by Visser & Dolstra from `manual.html'.
The `manual.html' file had been deleted in r21718 ("Hydra/28: Rename
"scheduler" to "evaluator"".)
2011-03-09 17:13:29 +00:00
Ludovic Courtès 0a80c737d0 doc: Mention SQLite. 2011-03-09 16:34:19 +00:00
Rob Vermaas c37b90ee3e hydra: use autoconf/-make 2010-09-30 14:29:15 +00:00
Rob Vermaas 4550ced942 Hydra/28: Rename "scheduler" to "evaluator" 2010-05-11 11:09:58 +00:00
Rob Vermaas ad5761bb25 whitespace commit 2010-04-19 10:25:15 +00:00
Rob Vermaas d41b7c0918 removed some whitespace 2010-04-19 10:25:12 +00:00
Rob Vermaas 9eaaa0c1e9 dummy commit 2010-04-13 08:03:12 +00:00
Rob Vermaas 45b4f045d3 Merge remote branch 'remotes/origin/master' 2010-03-23 19:50:29 +00:00
Rob Vermaas fb294fa183 start of hydra manual 2010-03-19 13:42:05 +00:00
Eelco Visser 2599cbcf53 why nix is covered in intro 2008-12-01 23:23:01 +00:00
Eelco Visser 6415d25b93 ripped intro from the SCP paper and manualized it 2008-12-01 23:20:42 +00:00
Eelco Visser 96f7c0b2cd general information 2008-12-01 20:50:50 +00:00
Eelco Visser 2810e5e280 general information 2008-12-01 20:43:09 +00:00
Eelco Visser c0b220e5f1 boilerplate, platform stuff 2008-12-01 20:20:39 +00:00
Eelco Visser d5c5f90742 draft manual 2008-12-01 20:03:18 +00:00