diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index cd657017..b2220d13 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -31,7 +31,7 @@ DEB_VERSION=$(shell sed -ne 's/^gbp_version="\([.a-z0-9~-]\+\)"/\1/p' $(GBP_VERS CHANGELOG=../debian/changelog # Stuff to build docs outside Debian -HAVE_SGML2X ?= 1 +HAVE_SGML2X ?= 0 GTK_DOC_CATALOG_FILE ?= /usr/share/sgml/gtk-doc/gtk-doc.cat all: $(MANUAL) $(MANPAGES) |