diff --git a/doc/HEAD b/doc/HEAD
new file mode 100644
index 0000000..e69de29