diff --git a/docs/doku.synctex(busy) b/docs/doku.synctex(busy)
deleted file mode 100644
index e69de29..0000000