diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index 8ccc8187f89..71ee034b331 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -67,8 +67,6 @@ ifeq ($(OS_ID),ubuntu) sudo apt-get update; \ sudo apt-get $(CONFIRM) $(FORCE) install $$inst; \ fi -else ifneq ("$(wildcard /etc/redhat-release)","") - @sudo yum install $(CONFIRM) $(DOC_RPM_DEPENDS) endif .PHONY: spell |