diff --git a/src/cltools/Driver.cpp b/src/cltools/Driver.cpp
index 1a0644463290de624670ebffb8b8935940688897..020361a5c01334beecc076f0c557a3cb22469393 100644
--- a/src/cltools/Driver.cpp
+++ b/src/cltools/Driver.cpp
@@ -61,6 +61,24 @@ using namespace std;
 namespace PLMD {
 namespace cltools{
 
+//+PLUMEDOC TOOLS driver-float
+/*
+Equivalent to \ref driver, but using single precision reals.
+
+The purpose of this tool is just to test what PLUMED does when linked from
+a single precision code.
+
+\par Examples
+
+\verbatim
+plumed driver-float --plumed plumed.dat --ixyz trajectory.xyz
+\endverbatim
+
+See also examples in \ref driver
+
+*/
+
+
 //+PLUMEDOC TOOLS driver
 /*
 driver is a tool that allows one to to use plumed to post-process an existing trajectory.