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> |