diff --git a/libs/gtkmm2ext/bindings.cc b/libs/gtkmm2ext/bindings.cc
index 85265729c7..a001b5b2d3 100644
--- a/libs/gtkmm2ext/bindings.cc
+++ b/libs/gtkmm2ext/bindings.cc
@@ -854,7 +854,7 @@ Bindings::save (XMLNode& root)
}
void
-Bindings::save_all_bindings_as_html (ostream& ostr)
+Bindings::save_all_bindings_as_html (ostream& ostr, bool include_action_list)
{
if (bindings.empty()) {
return;
@@ -896,6 +896,10 @@ Bindings::save_all_bindings_as_html (ostream& ostr)
ostr << "\n\n";
ostr << "\n\n";
+ if (!include_action_list) {
+ goto out;
+ }
+
ostr << "
\n\n";
ostr << "