1# This file is part of Imprimatur. 2# Copyright (C) 2011, 2015 Sergey Poznyakoff 3# 4# Imprimatur is free software; you can redistribute it and/or modify 5# it under the terms of the GNU General Public License as published by 6# the Free Software Foundation; either version 3, or (at your option) 7# any later version. 8# 9# Imprimatur is distributed in the hope that it will be useful, 10# but WITHOUT ANY WARRANTY; without even the implied warranty of 11# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12# GNU General Public License for more details. 13# 14# You should have received a copy of the GNU General Public License 15# along with Imprimatur. If not, see <http://www.gnu.org/licenses/>. 16 17EXTRA_DIST=\ 18 check-docs.sh\ 19 emptynodes.awk\ 20 imprimatur.m4\ 21 imprimatur.mk\ 22 mastermenu.el\ 23 rendition.texi\ 24 untabify.el 25 26if IMPRIMATUR_COND_MAKEDOC 27if IMPRIMATUR_COND_DIST_INFO 28EXTRA_DIST += imprimatur.info 29BUILT_SOURCES = imprimatur.info 30endif 31DISTCLEANFILES = Makedoc 32MAKEDOC = $(MAKE) -f Makedoc 33EXTRA_DIST += Makedoc.am Makedoc.in imprimatur.texi fdl.texi 34.PHONY: imprimatur.info 35imprimatur.info:; $(MAKEDOC) 36info: imprimatur.info 37pdf:; $(MAKEDOC) pdf 38dvi:; $(MAKEDOC) dvi 39ps:; $(MAKEDOC) ps 40clean-local:; $(MAKEDOC) clean 41endif 42