# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1420030842 18000
# Node ID 9ab026c81a2214b4a44972f4662bb07e212ddc63
# Parent  bf58106560ba2986f87718fca9fd0c3bfc5eda75
Make sure 'm4' directory exists