#7031 (make_docs.sh doesn't update shared docs)

by Luc Saffre · in Developers · assigned to Luc Saffre

3 semaines, 1 jour ago by Luc Saffre about #7031 (make_docs.sh doesn't update shared docs) : The make_docs.sh in most repositories used "cp -au src dest", but the -u option (for --update) didn't have the expected result since in a new project the files have a new timestamp.
3 semaines, 2 jours ago by Luc Saffre about #7031 (make_docs.sh doesn't update shared docs) : Created new Ticket #7031 (make_docs.sh doesn't update shared docs).