diff options
| -rw-r--r-- | Makefile.am | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 10735f34..c14c81f6 100644 --- a/Makefile.am +++ b/Makefile.am @@ -18,7 +18,12 @@ EXTRA_DIST = \ docs: pdf html doxygen Doxyfile: $(srcdir)/Doxyfile.in - sed -e 's,@srcdir\@,$(srcdir),' $< > $@ + @echo "Creating $@ from $<..." + @( \ + echo "### @@@ -= DO NOT EDIT THIS FILE =- @@@ ###" && \ + echo "### @@@ Make changes to Doxyfile.in @@@ ###" && \ + sed -e 's,@srcdir\@,$(srcdir),' $< \ + ) > $@ doxygen:: $(MAKE) Doxyfile |