diff --git a/Documentation/html_output_post_processing.py b/Documentation/html_output_post_processing.py
index e4c6e0bdf1b..3e1d3dad87d 100755
--- a/Documentation/html_output_post_processing.py
+++ b/Documentation/html_output_post_processing.py
@@ -140,7 +140,7 @@ def automagically_number_figure(filename):
   write_out_html(d, filename)
   #reference manual pages might also contain references to figures
   all_pages=glob.glob(path.join(path.dirname( path.abspath(filename) ),'*.html'))
-  for fname in ref_man_pages:
+  for fname in all_pages:
     d = pq(filename=fname, parser='html')
     d('a.el').each( lambda i: update_figure_ref(i,infos) )    
     write_out_html(d, fname)