rename include/option.sh to include/lib.sh

Signed-off-by: Leah Rowe <leah@libreboot.org>

build

@@ -12,7 +12,7 @@ if [ "./${0##*/}" != "${0}" ] || [ ! -f "build" ] || [ -L "build" ]; then
 	exit 1
 fi
 
-. "include/option.sh"
+. "include/lib.sh"
 
 eval "$(setvars "" aur_notice vdir src_dirname srcdir _xm mode xp)"
 err="fail"

script/roms

@@ -8,7 +8,7 @@
 
 set -u -e
 
-. "include/option.sh"
+. "include/lib.sh"
 
 seavgabiosrom="elf/seabios/default/libgfxinit/vgabios.bin"
 grub_background="background1280x800.png"

script/trees

@@ -6,7 +6,7 @@
 
 set -u -e
 
-. "include/option.sh"
+. "include/lib.sh"
 . "include/git.sh"
 
 eval "$(setvars "" xarch cfgsdir cdir config config_name xlang mode makeargs \