diff options
| author | Paul Smith <psmith@gnu.org> | 2014-10-05 12:18:08 -0400 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2014-10-05 12:18:08 -0400 |
| commit | a66bf2d736f4e7a09f8528b5a06a7125688d6a2d (patch) | |
| tree | 3a023f53af0986fa8f5c014d7ec03ac8d8089ff4 /maintMakefile | |
| parent | 31c2024b2e269d96a49562e3b3b3c501c5088b9f (diff) | |
| download | gunmake-a66bf2d736f4e7a09f8528b5a06a7125688d6a2d.tar.gz | |
GNU Make release 4.1.4.1
Diffstat (limited to 'maintMakefile')
| -rw-r--r-- | maintMakefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/maintMakefile b/maintMakefile index 463106e..f7af8d6 100644 --- a/maintMakefile +++ b/maintMakefile @@ -286,7 +286,7 @@ po-check: ## Generate docs. ## ## --------------- ## -.PHONY: update-www gendocs +.PHONY: update-makeweb gendocs CVS = cvs @@ -318,7 +318,7 @@ gendocs: update-gnuweb update-makeweb find '$(MAKEWEBDIR)'/manual \( -name CVS -prune \) -o \( -name '[!.]*' -type f -exec rm -f '{}' \; \) cp -r doc/manual '$(MAKEWEBDIR)' @echo 'Status of $(MAKEWEBDIR) repo:' && cd '$(MAKEWEBDIR)' \ - && cvs -q -n update \ + && cvs -q -n update | grep -v '^M ' \ && echo '- cvs add <new files>' \ && echo '- cvs remove <deleted files>' \ && echo '- cvs commit' \ |