wbtiger
/
foundationdb
mirror of https://github.com/apple/foundationdb.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'features/documentation-server' of github.com:mpilman/foundationdb into features/documentation-server

This commit is contained in:
mpilman 2020-01-22 14:25:00 -08:00
parent 6b11a3ee21 ff11c29258
commit bb88458830
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/CMakeLists.txt
View File

@ -59,7 +59,7 @@ endfunction()
message(STATUS "Add html target")
add_documentation_target(GENERATOR html)
set(DOCSERVER_PORT "-1" CACHE STRING "Port to which the documentation server should bind (negative means cmake will chose one)")
set(DOCSERVER_PORT "-1" CACHE STRING "Port to which the documentation server should bind (negative means cmake will choose one)")
if(DOCSERVER_PORT GREATER_EQUAL 0)
set(port ${DOCSERVER_PORT})