mirror of
https://https.git.savannah.gnu.org/git/groff.git
synced 2026-01-27 01:44:25 +00:00
Makefile.am: Add set-man-page-time-stamps target.
* Makefile.am (set-man-page-time-stamps): New maintainer-mode rule sets time stamps of man page source documents to match the Git "author date" of their most recent commits. This is to make the date reported in the center footer of the rendered page tell the truth.
This commit is contained in:
parent
d2f2f0b57d
commit
09ea0a488c
@ -1,3 +1,11 @@
|
||||
2024-09-21 G. Branden Robinson <g.branden.robinson@gmail.com>
|
||||
|
||||
* Makefile.am (set-man-page-time-stamps): New maintainer-mode
|
||||
rule sets time stamps of man page source documents to match the
|
||||
Git "author date" of their most recent commits. This is to make
|
||||
the date reported in the center footer of the rendered page tell
|
||||
the truth.
|
||||
|
||||
2024-09-21 G. Branden Robinson <g.branden.robinson@gmail.com>
|
||||
|
||||
* src/utils/afmtodit/afmtodit.tables: Update using the Unicode
|
||||
|
||||
18
Makefile.am
18
Makefile.am
@ -790,6 +790,24 @@ MOSTLYCLEANFILES += $(prefixexecbin_SCRIPTS) $(bin_SCRIPTS) \
|
||||
$(man1_MANS) $(man5_MANS) $(man7_MANS) \
|
||||
$(PREFIXMAN1)
|
||||
|
||||
# Maintainer-mode rule to set man page time stamps to date of last
|
||||
# Git commit thereto (rebasing can screw up their mtimes).
|
||||
.PHONY: set-man-page-time-stamps
|
||||
set-man-page-time-stamps:
|
||||
for f in $(man1_MANS) $(man5_MANS) $(man7_MANS); do \
|
||||
g=$(top_srcdir)/$$f.man; \
|
||||
if [ -f $$g ]; then \
|
||||
h=$$g.in; \
|
||||
if [ -f $$h ]; then \
|
||||
page=$$h; \
|
||||
else \
|
||||
page=$$g; \
|
||||
fi; \
|
||||
fi; \
|
||||
ts=`git log -1 --pretty="format:%aI" $$page`; \
|
||||
touch -d $$ts $$page; \
|
||||
done
|
||||
|
||||
# Suffix rule to build .1, .5 and .7 files from .1.man, .5.man and
|
||||
# .7.man files. The brackets around the @ are used to prevent the
|
||||
# substitution of the variable by Automake.
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user