doc/: Update from master
update_doc.sh: Change git add to -A to get new / removed files