diff --git a/docs/pdf/Makefile b/docs/pdf/Makefile
index 52786563..39bcd9ad 100644
--- a/docs/pdf/Makefile
+++ b/docs/pdf/Makefile
@@ -140,7 +140,7 @@ PS       = $(join $(BASEFILE),.ps)
 GXS      = $(join $(BASEFILE),.gxs)
 GLX      = $(join $(BASEFILE),.glx)
 BASEHTML = $(patsubst %.tex,%,$(HTMLFILE))
-HTML     = $(join $(BASEFILE),.html)
+HTML     = $(join $(HTMLFILE),.html)
 HTMLDIR  = ../html
 HTMLFLAGS = -noaddress