diff --git a/docs/figs b/docs/figs
deleted file mode 100644
index e69de29bb..000000000