[library-web/new-website-style] (24 commits) ...Merge branch 'master' into new-website-style

[Frederic Peters <fpeters src gnome org>]

Summary of changes:

  b60ba6e... fixed tarball generation file path for docbook documents (*)
  ba7d0bd... Merge branch 'master' into new-website-style
  95e4064... fixed retrieval of remote documents
  b5a64c6... fixed retrieval of remote documents (*)
  ee8537f... update demos override, it has been renamed to gnome-devel-d
  0515b06... update demos override, it has been renamed to gnome-devel-d (*)
  229de6e... Copy images/ directory to web root (*)
  ba485b2... Copy images/ directory to web root
  374d0cf... add images for the devcenter homepage
  373f74d... add dev and help indexes files
  af0accb... add handling of reorganized modulesets (*)
  1f23e01... add handling of reorganized modulesets
  0940557... correctly continue to next moduleset if one fails (*)
  703cd17... correctly continue to next moduleset if one fails
  671540e... correct gnome version check for older moduleset structures (*)
  27ee163... correct gnome version check for older moduleset structures
  70c2bdd... misc link fixes for the new dev home page
  11a5d6f... rename site to "GNOME Developer Center"
  0849d2b... recreated platform overview table with a <table>
  32176d3... overview link fixes
  255242d... possibility not to use cached version of files (*)
  0ac7d66... add possibility to hide source uri for remote documents (*)
  90b29ca... do not use a fixed location for indexes.xml
  9034131... Merge branch 'master' into new-website-style

(*) This commit already existed in another branch; no separate mail sent