fix

diff --git a/src/util/os_installation.c b/src/util/os_installation.c
index 080496bbc260ba0140d187dcedace96aad385c17..98080a3edcd8536a749c7f060d7ac70cc7d2b4ce 100644 (file)
--- a/src/util/os_installation.c
+++ b/src/util/os_installation.c
@@ -251,7 +251,7 @@ get_path_from_GNUNET_PREFIX ()
   return NULL;
 }
 
-/*
+/**
  * @brief get the path to GNUnet bin/ or lib/, prefering the lib/ path
  * @author Milan
  *