1.1 --- a/doc/CMakeLists.txt	Wed Nov 28 12:08:47 2012 +0100
     1.2 +++ b/doc/CMakeLists.txt	Wed Dec 19 15:37:12 2012 +0100
     1.3 @@ -72,12 +72,7 @@
     1.4  
     1.5  IF(WGET_FOUND)
     1.6  ADD_CUSTOM_TARGET(update-external-tags
     1.7 -  COMMAND ${CMAKE_COMMAND} -E make_directory dl
     1.8 -  # COMMAND ${CMAKE_COMMAND} -E copy libstdc++.tag dl
     1.9 -  COMMAND ${WGET_EXECUTABLE} wget -P dl -N libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag
    1.10 -  COMMAND ${CMAKE_COMMAND} -E rename dl/libstdc++.tag libstdc++.tag
    1.11 -  COMMAND ${CMAKE_COMMAND} -E remove dl/libstdc++.tag
    1.12 -  COMMAND ${CMAKE_COMMAND} -E remove_directory dl
    1.13 +  COMMAND ${WGET_EXECUTABLE} -N http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag
    1.14    WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}
    1.15    )
    1.16  ENDIF()