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