After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 771606 - 'doxygen -w' should not require existence of header.html/footer.html even if listed in an options file
'doxygen -w' should not require existence of header.html/footer.html even if ...
Status: RESOLVED OBSOLETE
Product: doxygen
Classification: Other
Component: general
1.8.12
Other Linux
: Normal normal
: ---
Assigned To: Dimitri van Heesch
Dimitri van Heesch
[moved_to_github]
Depends on:
Blocks:
 
 
Reported: 2016-09-18 03:11 UTC by Wolfgang Bangerth
Modified: 2018-07-30 10:46 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Wolfgang Bangerth 2016-09-18 03:11:53 UTC
The "doxygen -w html header.html footer.html style.cc options.dox" command is used to create default headers and footers that one can then edit and re-use once actual documentation is generated. If an options file (last argument) is given, my understanding is that this is taken into account when generating the first 3 files.

Since a recent change in doxygen, this no longer reliably works if the options file has entries of the form

HTML_HEADER            = header.html
HTML_FOOTER            = footer.html

If the header/footer.html files do not currently exist, then this leads to an error of the form

error: tag HTML_HEADER: header file `header.html' does not exist

This clearly makes no sense: whether or not the file currently exists, it will be overwritten anyway *because the whole point of the -w command is to create it*. Not requiring these files to exist also happened to be the old behavior of the command.
Comment 1 André Klapper 2018-07-30 10:46:58 UTC
As discussed in https://github.com/doxygen/doxygen/pull/734 , Doxygen has moved its issue tracking to 

   https://github.com/doxygen/doxygen/issues

All Doxygen tickets in GNOME Bugzilla have been migrated to Github. You can subscribe and participate in the new ticket in Github. You can find the corresponding Github ticket by searching for its Bugzilla ID (number) in Github.

Hence I am closing this GNOME Bugzilla ticket.
Please use the corresponding ticket in Github instead. Thanks a lot!