LARA

htmldoc

Here is an example use of htmldoc use to create a pdf file for the lectures.

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