diff --git a/mk/config.mk.in b/mk/config.mk.in
index 85fc4e22c41310db282ea45abe67b41209f6fade..2ebedc439b77d6bbfbd13c3afa7f02c40d7b2654 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -637,6 +637,13 @@ SGML2HTML		= db2html
 SGML2INFO		= db2info
 SGML2RTF		= db2rtf
 
+SGMLSTYLESHEET          = $(FPTOOLS_TOP_ABS)/docs/fptools-both.dsl
+
+SGML2DVI_OPTS           = -d $(SGMLSTYLESHEET)
+SGML2HTML_OPTS          = -d $(SGMLSTYLESHEET)
+SGML2INFO_OPTS          = -d $(SGMLSTYLESHEET)
+SGML2RTF_OPTS           = -d $(SGMLSTYLESHEET)
+
 #-----------------------------------------------------------------------------
 # 		FPtools support software