Re: [Openocd-development] [PATCH 2/2] allow documentation to be configured

[David B. <da...@pa...>]

On Tuesday 17 November 2009, Zachary T Welch wrote:
> +AC_MSG_CHECKING([whether to build manual as PDF])
> +AC_ARG_ENABLE(manaul-pdf,

But if we want the "manual" not the "manaul" ... ?  :)

> +  AS_HELP_STRING([--enable-manual-pdf],
> +    [Enable building developer manual as PDF.]),
> +  [manual_as_pdf=$enableval], [manual_as_pdf=no])
> +AC_SUBST(manual_as_pdf)
> +AC_MSG_RESULT($manual_as_pdf)