Update docs re buildserver distro choice

diff --git a/docs/fdroid.texi b/docs/fdroid.texi
index 1e519aa1597a64bd67fd2f4922b75b0c96820947..df417fbc74a8730dd08cb149e301101db3595008 100644 (file)
--- a/docs/fdroid.texi
+++ b/docs/fdroid.texi
@@ -1053,6 +1053,9 @@ the specification for what's required to be Vagrant-compatible is very well
 defined. This is the sensible and secure way to do it, since you know what's
 in it. If you insist on taking a shortcut, ask CiaranG about it on IRC.
 
+You can use a different version or distro for the base box, so long as you
+don't expect any help making it work.
+
 With this base box installed, you can then go to the @code{fdroidserver}
 directory and run this: