Makefile: make docs installation optional

Signed-off-by: Pascal Jäger <pascal.jaeger@leimstift.de>
This commit is contained in:
Pascal Jäger
2023-03-26 21:39:51 +02:00
parent 8105a2edf7
commit 09a2a55ee4
2 changed files with 17 additions and 8 deletions

2
config
View File

@@ -1,7 +1,7 @@
#!/usr/bin/env bash
GRUB_BTRFS_VERSION=4.12-master-2023-03-26T19:08:16+00:00
GRUB_BTRFS_VERSION=4.12-master-2023-03-26T19:39:51+00:00
# Disable grub-btrfs.
# Default: "false"