# Generated by makepkg 7.1.0
# Sat Apr 11 16:25:26 UTC 2026
pkgbase = gnuboot-manual
	pkgdesc = GNU Boot manual. It also explains how to authenticate GNU Boot.
	pkgver = 0.1
	pkgrel = 4
	arch = armv7h
	arch = i686
	arch = x86_64
	license = GFDL-1.3-or-later
	license = GPL-3.0-or-later
	makedepends = autoconf
	makedepends = automake
	makedepends = coreutils
	makedepends = gawk
	makedepends = git
	makedepends = graphicsmagick
	makedepends = grep
	makedepends = guix
	makedepends = libtool
	makedepends = pkg-config
	makedepends = texinfo
	makedepends = texlive-latexrecommended
	makedepends = texlive-plaingeneric
	source = git+https://git.savannah.gnu.org/git/gnuboot.git#commit=496ad2f7a4ddcbdf21c4551bab3543f608a6afb5
	sha512sums = SKIP

pkgname = gnuboot-manual
