diff --git a/doc~HEAD b/doc~HEAD
deleted file mode 100644
index 66dc905..0000000
--- a/doc~HEAD
+++ /dev/null
@@ -1 +0,0 @@
-undefined
\ No newline at end of file