diff --git a/doc/stamp-vti b/doc/stamp-vti deleted file mode 100644 index e69de29bb..000000000 diff --git a/doc/version.texi b/doc/version.texi deleted file mode 100644 index e69de29bb..000000000 diff --git a/libguile/Makefile.in b/libguile/Makefile.in deleted file mode 100644 index e69de29bb..000000000