diff --git a/doc/make.py b/doc/make.py
index afdda0e110cd21b97029209b486b962c00a1bac3..b2458cc186d4b07615e0e26918eb134b43c4afc6 100644
--- a/doc/make.py
+++ b/doc/make.py
@@ -75,11 +75,7 @@ opts, args=ParseArgs()
 if not opts.html and\
    not opts.linkcheck and\
    not opts.doctest:
-     print 'It is mandatory to choose at least one option'
-     command='ost '+sys.argv[0]+' -h'
-     os.system(command)
-     os._exit(-1)
-
+     opts.html=True
      
 for sub_dir in ('modules',):
   os.path.walk(sub_dir, _CollectRstDocs, 'doc/source')