diff options
Diffstat (limited to 'doc/user/Makefile.am')
| -rw-r--r-- | doc/user/Makefile.am | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am index 44f32f4..201a116 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -37,9 +37,6 @@ skrflags = -I $(srcdir) -P $(top_srcdir)/doc/img \ -e '(define %top-srcdir "$(top_srcdir)")' \ -e '(define %top-builddir "$(top_builddir)")' -# FIXME: Eventually, we should use the native API. -skrflags += --compat=skribe - if HAVE_PLOTICUS skrflags += -e "(define %have-ploticus? (= 1 1))" \ -e "(define %ploticus-path \"$(PLOTICUS)\")" |