diff options
| author | Michael Heimpold <mhei@heimpold.de> | 2022-04-09 13:46:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-09 13:46:14 +0200 |
| commit | 78754b4f212ec8063e3f77eebb1b083ba6b1072f (patch) | |
| tree | 11062d5b31b6bb00af5d0dc49d9d0086bd031b5b | |
| parent | 86b8b30683cb7e338324c4cba5bee69cc6f1dcd6 (diff) | |
| parent | e85ceaaa14ba5dc2481590e8d5b11e2d5dab0d2a (diff) | |
Merge pull request #18273 from cotequeiroz/opensc
opensc: do not build man pages
| -rw-r--r-- | utils/opensc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/opensc/Makefile b/utils/opensc/Makefile index 1d84b1f54..be01913a5 100644 --- a/utils/opensc/Makefile +++ b/utils/opensc/Makefile @@ -99,6 +99,7 @@ endef endef CONFIGURE_ARGS += \ + --disable-man \ --disable-notify \ --disable-strict |