diff --git a/Documentation/html_output_post_processing.py b/Documentation/html_output_post_processing.py
index 6a49fb72c37..617f5e0b6e4 100755
--- a/Documentation/html_output_post_processing.py
+++ b/Documentation/html_output_post_processing.py
@@ -192,7 +192,12 @@ removes some unneeded files, and performs minor repair on some glitches.''')
     #if doxyassist.xml was provided, copy figures
     if args.doxyassist_xml:
       copy_all_non_pdf_figures(args.doxyassist_xml,args.output)
-    
+    else:
+      #try to guess a default
+      guess=path.join(path.dirname(path.abspath(argv[0])),"doxyassist.xml")
+      if path.exists(guess):
+        copy_all_non_pdf_figures(guess,args.output)
+  
     resources_absdir=path.join( path.dirname(path.abspath(argv[0]) ),"resources")
     os.chdir(args.output)