It would be useful for reference to display the file-write-date timestamp at the top of all chapter and exercise pages, so visitors can quickly see if the text has been modified recently on a per-page basis. file-write-date returns a universal timestamp, so it will have to be formatted as a timestring with the local-time package.
It would be useful for reference to display the
file-write-date
timestamp at the top of all chapter and exercise pages, so visitors can quickly see if the text has been modified recently on a per-page basis.file-write-date
returns a universal timestamp, so it will have to be formatted as a timestring with thelocal-time
package.