Pelle Nilsson
|
c17d336baa
|
Removed some whitespace from output.
|
2014-02-28 22:14:22 +01:00 |
|
Pelle Nilsson
|
d92b5847d4
|
Added option (-o static) to make static HTML output.
|
2013-06-29 22:21:06 +02:00 |
|
Pelle Nilsson
|
431357a85c
|
Fixed problem with section used for missing.
It was handled at parse time, but must be done at
output time to be sure the section to use has been parsed.
|
2013-06-20 22:59:25 +02:00 |
|
Pelle Nilsson
|
4cfcc4888f
|
Counters.
|
2013-06-18 22:21:40 +02:00 |
|
Pelle Nilsson
|
3a75168d02
|
Split out html gamebook scripts (most of them) and style.
|
2013-06-16 22:12:53 +02:00 |
|
Pelle Nilsson
|
1fac366e19
|
Gamebook id to allow saved games from different games in browser.
Default id is basename of file without extension.
Override id by setting book config, as seen in format.gamebook.
|
2013-06-16 21:54:18 +02:00 |
|
Pelle Nilsson
|
cf8f805255
|
Fixed bug with rendering of introduction sections.
|
2013-06-16 21:42:02 +02:00 |
|
Pelle Nilsson
|
45cbf9ab7f
|
Disable shuffling replaces setting random seed.
|
2013-06-16 21:25:50 +02:00 |
|
Pelle Nilsson
|
1d9ed7d7b7
|
Save and restore HTML game.
|
2013-06-16 21:18:28 +02:00 |
|
Pelle Nilsson
|
ad7fcf1e26
|
Player tests and refactorings.
|
2013-06-16 19:43:04 +02:00 |
|
Pelle Nilsson
|
c2faf5fad7
|
Improved OutputFormat by removing direct printing to output file.
Whitespace changed in small ways again in expected output.
Now with expected results files updated too.
|
2013-06-14 23:25:52 +02:00 |
|
Pelle Nilsson
|
c7938a3080
|
Small refactoring and testing of OutputFormat.
Minor fix in whitespace generated from templates. Not
100% sure this is an improvement, but the effect very small either way
|
2013-06-14 23:05:42 +02:00 |
|
Pelle Nilsson
|
b3ed663dc3
|
Updated expected HTML.
|
2013-06-14 22:24:56 +02:00 |
|
Pelle Nilsson
|
155c0ab2f3
|
Fixed some problems with make clean and expectedcheck.
|
2013-06-14 00:24:33 +02:00 |
|
Pelle Nilsson
|
ca4b8389a8
|
Checking generated examples against saved expected outputs.
|
2013-06-13 23:21:34 +02:00 |
|