diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 01c5906..c3f6040 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -48,13 +48,16 @@ man html: ChangeLog: GIT-VERSION-FILE .wrongdoc.yml wrongdoc prepare +manifest: ChangeLog GIT-VERSION-FILE + $(RM) -f .manifest + $(MAKE) .manifest + .manifest: (git ls-files && for i in $@ $(pkg_extra) ; do echo $$i; done) | \ LC_ALL=C sort > $@+ cmp $@+ $@ || mv $@+ $@ $(RM) $@+ - doc: .document man html .wrongdoc.yml $(MAKE) -C Documentation comparison.html for i in $(man1_rdoc); do echo > $$i; done |