diff options
| author | Martial Simon <msimon_fr@hotmail.com> | 2025-09-15 01:07:58 +0200 |
|---|---|---|
| committer | Martial Simon <msimon_fr@hotmail.com> | 2025-09-15 01:07:58 +0200 |
| commit | 967be9e750221ab2ab783f95df79bb26d290a45e (patch) | |
| tree | 6802900a5e975f9f68b169f0f503f040056d6952 /tiger-compiler/doc/local.am | |
Diffstat (limited to 'tiger-compiler/doc/local.am')
| -rw-r--r-- | tiger-compiler/doc/local.am | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/tiger-compiler/doc/local.am b/tiger-compiler/doc/local.am new file mode 100644 index 0000000..cd0df9a --- /dev/null +++ b/tiger-compiler/doc/local.am @@ -0,0 +1,28 @@ +DOXYGEN = doxygen + +.PHONY: doc html + +doc: html + +html-local: %D%/Doxyfile + $(DOXYGEN) $< + +edit = sed -e "s|@ID@|$$Id|" \ + -e 's,@PACKAGE_NAME\@,$(PACKAGE_NAME),g' \ + -e 's,@PACKAGE_VERSION\@,$(PACKAGE_VERSION),g' \ + -e 's,@top_builddir\@,$(top_builddir),g' \ + -e 's,@top_srcdir\@,$(top_srcdir),g' + +EXTRA_DIST += %D%/Doxyfile.in +CLEANFILES += %D%/Doxyfile +# Sed is used to generate Doxyfile from Doxyfile.in instead of +# configure, because the former is way faster than the latter. +# Moreover, this file is updated whenever ChangeLog is touched: using +# sed instead of configure saves us a lot of time. +%D%/Doxyfile: $(top_srcdir)/ChangeLog $(srcdir)/%D%/Doxyfile.in + Id=`grep '^\$$Id' $(top_srcdir)/ChangeLog`; \ + $(edit) $(srcdir)/%D%/Doxyfile.in >%D%/Doxyfile + +clean-local: clean-doc +clean-doc: + rm -rf html latex |