diff --git a/src/baselib/commandline/ocsigen_getcommandline.mli b/src/baselib/commandline/ocsigen_getcommandline.mli
new file mode 100644
index 000000000..d853ae3e7
--- /dev/null
+++ b/src/baselib/commandline/ocsigen_getcommandline.mli
@@ -0,0 +1,3 @@
+(** Contains the command line that will be parsed by the server
+    when Ocsigen_commandline is linked *)
+val commandline : string array
diff --git a/src/baselib/nocommandline/ocsigen_getcommandline.mli b/src/baselib/nocommandline/ocsigen_getcommandline.mli
new file mode 100644
index 000000000..d853ae3e7
--- /dev/null
+++ b/src/baselib/nocommandline/ocsigen_getcommandline.mli
@@ -0,0 +1,3 @@
+(** Contains the command line that will be parsed by the server
+    when Ocsigen_commandline is linked *)
+val commandline : string array