diff options
| -rw-r--r-- | misc/GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/GNUmakefile b/misc/GNUmakefile index 31c73667d..72333f017 100644 --- a/misc/GNUmakefile +++ b/misc/GNUmakefile @@ -51,7 +51,7 @@ RELEASE: svn up - $(MAKE) release + $(MAKE) -f docs/GNUmakefile release snapshot: |
