###########################################################################
#
# Makefile system for GILDAS softwares (2003-2019).
#
# Please be careful: element order often matters in makefiles.
#
###########################################################################

include $(gagadmdir)/Makefile.def

###########################################################################

DOC_IDS = mira

###########################################################################

include $(gagadmdir)/Makefile.doc

###########################################################################

mira.pdf mira-html: mira.tex mira-help-mira.tex

###########################################################################
