4 commits

Author	SHA1	Message	Date
Pierre Labastie	fd4a7982f2	Remove $Id$ comments, they are useless with git	2021-10-31 10:22:30 +01:00
Pierre Labastie	a8b8d192eb	Use a custom date format in the filename of the chapter 5 tarball ... The format of "date -Iseconds" generates character that are not accepted by "cp". Use only letters, digits, and dash "-".	2020-08-22 11:47:10 +00:00
Pierre Labastie	22bb166d9d	Fix the save-ch5 target	2020-06-11 08:22:20 +00:00
Pierre Labastie	38016d5ca7	Add a missing file for saving chapter 5 work	2020-05-01 19:36:10 +00:00