diff --git a/sys/include/random.h b/sys/include/random.h
index dfd35a15fa..5bf23185eb 100644
--- a/sys/include/random.h
+++ b/sys/include/random.h
@@ -97,7 +97,7 @@ void random_bytes(uint8_t *buf, size_t size);
  */
 uint32_t random_uint32_range(uint32_t a, uint32_t b);
 
-#if PRNG_FLOAT
+#if PRNG_FLOAT || defined(DOXYGEN)
 /* These real versions are due to Isaku Wada, 2002/01/09 added */
 
 /**