doc/CMakeLists.txt
changeset 1016 09282720100b
parent 1015 481496e6d71f
child 1040 8e39ccaabf48
child 1200 62ba43576f85
     1.1 --- a/doc/CMakeLists.txt	Mon Oct 25 15:33:57 2010 +0200
     1.2 +++ b/doc/CMakeLists.txt	Mon Oct 25 16:49:39 2010 +0200
     1.3 @@ -54,3 +54,15 @@
     1.4    ENDIF()
     1.5  
     1.6  ENDIF()
     1.7 +
     1.8 +IF(WGET_FOUND)
     1.9 +ADD_CUSTOM_TARGET(update-external-tags
    1.10 +  COMMAND ${CMAKE_COMMAND} -E make_directory dl
    1.11 +  # COMMAND ${CMAKE_COMMAND} -E copy libstdc++.tag dl
    1.12 +  COMMAND ${WGET_EXECUTABLE} wget -P dl -N libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag
    1.13 +  COMMAND ${CMAKE_COMMAND} -E rename dl/libstdc++.tag libstdc++.tag
    1.14 +  COMMAND ${CMAKE_COMMAND} -E remove dl/libstdc++.tag
    1.15 +  COMMAND ${CMAKE_COMMAND} -E remove_directory dl
    1.16 +  WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}
    1.17 +  )
    1.18 +ENDIF()