diff options
author | Bernhard Voelker <mail@bernhard-voelker.de> | 2021-10-19 03:25:36 +0200 |
---|---|---|
committer | Bernhard Voelker <mail@bernhard-voelker.de> | 2021-10-20 12:09:01 +0200 |
commit | 425e82e7b007694ad766beefc130962a97e28dd7 (patch) | |
tree | cd54ddb328d5bb69f771668d732104ea20aa6c10 /doc | |
parent | 40edc25232382047d63870d953650141d1d21b12 (diff) | |
download | findutils-425e82e7b007694ad766beefc130962a97e28dd7.tar.gz |
maint: copy online docs from 'doc/manual' to apply the GNU stylesheet
The script to copy the documentation for the web to the CVS checkout
directory took the files from 'doc'. But as those files do not
reference the GNU stylesheet, the resulting online documentation
didn't look as fancy as usual.
Instead, copy the files from 'doc/manual' which gets created by the make
target 'web-manual'.
* build-aux/update-online-manual.sh: Call the 'web-manual' make target
instead of building the documentation files in 'doc/' explicitly.
Adjust the commands to copy the just-generated files accordingly.
Remove the PostScript format as that does not get generated by the
'web-manual' target; it is probably no longer used nowadays anyway.
* NEWS (Documentation Changes): Mention the change.
Reported by Charles Burkitt <cecburkitt@gmail.com> in
https://lists.gnu.org/r/bug-findutils/2021-10/msg00008.html
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions