History log of /barrelfish-master/doc/018-Practical-guide/generate_readme_tex.sh
Revision Date Author Comments
# 776e6f4d 08-Dec-2013 pravin@inf.ethz.ch <pravin@inf.ethz.ch>

Converted the README file with rst format so that it can be easily converted
into tex source code. Also added/modified some scripts which will cleanup
the README and generated tex code so that it is easy to include it into the
practical guide tech note.


# debe5e36 06-Dec-2013 pravin@inf.ethz.ch <pravin@inf.ethz.ch>

Added tech-note 18