# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1220275645 14400
# Node ID b22369f7f0fe0388e015a130c6388c9692f1315d
# Parent  aa32e9f63da0faba5c7848054decacdd1da603c2
Placeholders to create html and latex directories