Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
htmldoc [2008/12/05 21:10] vkuncak created |
htmldoc [2008/12/05 21:15] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== HTML Doc ====== | + | ====== htmldoc ====== |
| Here is an example use of [[http://www.easysw.com/htmldoc/|htmldoc]] use to create a pdf file for the lectures. | Here is an example use of [[http://www.easysw.com/htmldoc/|htmldoc]] use to create a pdf file for the lectures. | ||
| + | <code> | ||
| + | htmldoc --book --nup 2 -f lecture12.pdf \ | ||
| + | http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:applications_of_data-flow_analysis \ | ||
| + | http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:concrete_execution_as_data-flow_analysis \ | ||
| + | http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:designing_correct_data-flow_analyses \ | ||
| + | http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:termination_of_data-flow_analysis \ | ||
| + | http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:java_definite_assignments \ | ||
| + | http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:initialization_analysis \ | ||
| + | http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:live_variable_analysis \ | ||
| + | http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:range_analysis \ | ||
| + | http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:typestate_analysis | ||
| + | </code> | ||