#7031 (make_docs.sh doesn't update shared docs)
by Luc Saffre · in Developers · assigned to Luc Saffre
Summary
Children
Comments
- 3 weeks, 1 day 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 weeks, 1 day 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).