diff --git a/configure b/configure
index edf0496ab9..6a3026b2b2 100755
--- a/configure
+++ b/configure
@@ -5958,6 +5958,8 @@ trap 'rm -fr `echo "          Makefile
           doc/html/C/image/Makefile
           doc/html/fr/Makefile
           doc/html/fr/image/Makefile
+          doc/sgml/Makefile
+          doc/sgml/C/Makefile
           intl/Makefile
           lib/Makefile
 	  po/Makefile.in
@@ -6149,6 +6151,8 @@ CONFIG_FILES=\${CONFIG_FILES-"Makefile
           doc/html/C/image/Makefile
           doc/html/fr/Makefile
           doc/html/fr/image/Makefile
+          doc/sgml/Makefile
+          doc/sgml/C/Makefile
           intl/Makefile
           lib/Makefile
 	  po/Makefile.in
diff --git a/configure.in b/configure.in
index 3783a66718..7c41f437f7 100644
--- a/configure.in
+++ b/configure.in
@@ -415,6 +415,8 @@ AC_OUTPUT(
           doc/html/C/image/Makefile
           doc/html/fr/Makefile
           doc/html/fr/image/Makefile
+          doc/sgml/Makefile
+          doc/sgml/C/Makefile
           intl/Makefile
           lib/Makefile
 	  po/Makefile.in