# HG changeset patch
# User Alpar Juttner <alpar@cs.elte.hu>
# Date 1355927832 -3600
# Node ID 3ab825f5fab00a0b2c912dca0c2eb3ab5ad8e005
# Parent  9a6c9d4ee77b8b5f529e525e2539b9317faecdd0
Fix 'make update-external-tags' behavior (#455)

diff -r 9a6c9d4ee77b -r 3ab825f5fab0 doc/CMakeLists.txt
--- a/doc/CMakeLists.txt	Wed Nov 28 12:08:47 2012 +0100
+++ b/doc/CMakeLists.txt	Wed Dec 19 15:37:12 2012 +0100
@@ -72,12 +72,7 @@
 
 IF(WGET_FOUND)
 ADD_CUSTOM_TARGET(update-external-tags
-  COMMAND ${CMAKE_COMMAND} -E make_directory dl
-  # COMMAND ${CMAKE_COMMAND} -E copy libstdc++.tag dl
-  COMMAND ${WGET_EXECUTABLE} wget -P dl -N libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag
-  COMMAND ${CMAKE_COMMAND} -E rename dl/libstdc++.tag libstdc++.tag
-  COMMAND ${CMAKE_COMMAND} -E remove dl/libstdc++.tag
-  COMMAND ${CMAKE_COMMAND} -E remove_directory dl
+  COMMAND ${WGET_EXECUTABLE} -N http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag
   WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}
   )
 ENDIF()