From 967be9e750221ab2ab783f95df79bb26d290a45e Mon Sep 17 00:00:00 2001
From: Martial Simon <msimon_fr@hotmail.com>
Date: Mon, 15 Sep 2025 01:07:58 +0200
Subject: add: added projects

---
 tiger-compiler/doc/local.am | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 tiger-compiler/doc/local.am

(limited to 'tiger-compiler/doc/local.am')

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
-- 
cgit v1.2.3