--- doc/Makefile.in.orig	2020-11-04 19:20:47 UTC
+++ doc/Makefile.in
@@ -334,7 +334,7 @@ host_alias = @host_alias@
 host_cpu = @host_cpu@
 host_os = @host_os@
 host_vendor = @host_vendor@
-htmldir = $(docdir)
+htmldir = @htmldir@
 includedir = @includedir@
 infodir = @infodir@
 install_sh = @install_sh@