summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBernhard Voelker <mail@bernhard-voelker.de>2021-10-19 03:25:36 +0200
committerBernhard Voelker <mail@bernhard-voelker.de>2021-10-20 12:09:01 +0200
commit425e82e7b007694ad766beefc130962a97e28dd7 (patch)
treecd54ddb328d5bb69f771668d732104ea20aa6c10 /doc
parent40edc25232382047d63870d953650141d1d21b12 (diff)
downloadfindutils-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