diff options
author | Patrick Lehmann <Patrick.Lehmann@tu-dresden.de> | 2017-03-04 21:25:27 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
commit | f515e83da2ad271951733506f1e8d9ac68490fa2 (patch) | |
tree | 6182ee3484876fcac20eec626a40f096a1dd31b7 | |
parent | 5288726adade7c185f6e444ad63831b1dc12d82a (diff) | |
download | ghdl-f515e83da2ad271951733506f1e8d9ac68490fa2.tar.gz ghdl-f515e83da2ad271951733506f1e8d9ac68490fa2.tar.bz2 ghdl-f515e83da2ad271951733506f1e8d9ac68490fa2.zip |
Debugging RTD step 2.
-rw-r--r-- | doc/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index ca02f8dad..a42f29e6e 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -152,9 +152,10 @@ prologPath = "prolog.inc" try: with open(prologPath, "r") as prologFile: rst_prolog = prologFile.read() -except: +except Exception as ex: print("CWD: " + str(os.getcwd())) print("[ERROR:] File '{0!s}' not found.".format(prologPath)) + print(ex) rst_prolog = "" # -- Options for HTML output ---------------------------------------------- |