diff options
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 12c0d03..35c45bc 100644 --- a/Makefile.in +++ b/Makefile.in @@ -80,8 +80,8 @@ _CPPFLAGS = -D'PACKAGE="$(PKGNAME)"' -D'PROGRAM_VERSION="$(_VERSION)"' # index.html Invoking.html Overview.html # Used by mk/man.mk -#_MAN_PAGE_SECTIONS = 1 -#_MAN_1 = +_MAN_PAGE_SECTIONS = 1 +_MAN_1 = sat # Used by mk/copy.mk _COPYING = COPYING |