diff --git a/doc/devel/Makefile.am b/doc/devel/Makefile.am
index 2ab813272e18b3bb0f562d8f41434ee8565b598f..bc891cfe99058f81573a7e9c0d9236b5995e2619 100644
--- a/doc/devel/Makefile.am
+++ b/doc/devel/Makefile.am
@@ -2,11 +2,9 @@
 
 if BUILD_DOCS
 # only build html when wml is available
-if WML
 PAGES = codingstyle.html portability.html \
   ugreader.html tests.html features.html indexidsets.html
 endif
-endif
 
 all: $(PAGES)