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

by Luc Saffre · in Developers · assigned to Luc Saffre

3 Wochen, 1 Tag ago von 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 Wochen, 2 Tage ago von Luc Saffre about #7031 (make_docs.sh doesn't update shared docs) : Created new Ticket #7031 (make_docs.sh doesn't update shared docs).