diff options
author | van Hauser <vh@thc.org> | 2020-08-31 11:21:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-31 11:21:52 +0200 |
commit | 7ee255cbcf5a4bcf0e61b70024d9fa3259bc79e7 (patch) | |
tree | 5f25d67cbb28728e755438fedd0be3db5004d843 /gcc_plugin | |
parent | 961ddfd7f8ff9f40bd36e7552bf838e554904a0c (diff) | |
parent | b0b2a158915a70211042ce2962d70f9106d216eb (diff) | |
download | afl++-7ee255cbcf5a4bcf0e61b70024d9fa3259bc79e7.tar.gz |
Merge pull request #529 from rhertzog/manpages
Manual pages related changes
Diffstat (limited to 'gcc_plugin')
-rw-r--r-- | gcc_plugin/GNUmakefile | 2 | ||||
-rw-r--r-- | gcc_plugin/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/gcc_plugin/GNUmakefile b/gcc_plugin/GNUmakefile index f10a6c1d..fd30657a 100644 --- a/gcc_plugin/GNUmakefile +++ b/gcc_plugin/GNUmakefile @@ -24,7 +24,7 @@ PREFIX ?= /usr/local HELPER_PATH ?= $(PREFIX)/lib/afl BIN_PATH ?= $(PREFIX)/bin DOC_PATH ?= $(PREFIX)/share/doc/afl -MAN_PATH ?= $(PREFIX)/man/man8 +MAN_PATH ?= $(PREFIX)/share/man/man8 VERSION = $(shell grep '^$(HASH)define VERSION ' ../config.h | cut -d '"' -f2) diff --git a/gcc_plugin/Makefile b/gcc_plugin/Makefile index c088b61c..23477e22 100644 --- a/gcc_plugin/Makefile +++ b/gcc_plugin/Makefile @@ -24,7 +24,7 @@ PREFIX ?= /usr/local HELPER_PATH ?= $(PREFIX)/lib/afl BIN_PATH ?= $(PREFIX)/bin DOC_PATH ?= $(PREFIX)/share/doc/afl -MAN_PATH ?= $(PREFIX)/man/man8 +MAN_PATH ?= $(PREFIX)/share/man/man8 VERSION = $(shell grep '^$(HASH)define VERSION ' ../config.h | cut -d '"' -f2) VERSION:sh= grep '^$(HASH)define VERSION ' ../config.h | cut -d '"' -f2 |