diff options
| author | Keith Packard <keithp@keithp.com> | 2018-10-06 17:17:20 -0700 |
|---|---|---|
| committer | Keith Packard <keithp@keithp.com> | 2018-10-06 17:18:14 -0700 |
| commit | 9e29ac8ed9a48fc4ac8e769eeb131dd7c58fedc4 (patch) | |
| tree | 91ddebfe1a1928ff881249a7ac92be3d1ebe35a5 /configure.ac | |
| parent | cabfcb078950238cdaee4e6ec4702195feaabc7b (diff) | |
doc: Make use of 'faketime' configurable with configure.ac. Default to 'no'
This ensures that older a2x versions don't simply wedge while building
the docs.
Signed-off-by: Keith Packard <keithp@keithp.com>
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 0a5a76ec..1705745d 100644 --- a/configure.ac +++ b/configure.ac @@ -184,6 +184,12 @@ else HAVE_GOOGLE_KEY="no" fi +AC_ARG_ENABLE(faketime, AS_HELP_STRING([--enable-faketime], + [Use faketime program to ensure pdf files are reproducible (default=no)]), + [FAKETIME=$enableval], [FAKETIME=no]) + +AM_CONDITIONAL(FAKETIME, [test x$FAKETIME = xyes]) + AC_SUBST(GOOGLEKEY) AC_PROG_CC |