Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
htmldoc [2008/12/05 21:11] vkuncak |
htmldoc [2008/12/05 21:15] (current) vkuncak |
||
---|---|---|---|
Line 2: | Line 2: | ||
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> |