## # ease.js manual Makefile # # Responsible for building the project documentation. # # Copyright (C) 2012 Mike Gerwitz # # This file is part of ease.js. # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation, either version 3 of the License, or # (at your option) any later version. # # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License # along with this program. If not, see . ## path_doc=. path_build=../build path_lib=../lib path_doc_output=${path_build}/doc path_doc_output_info=${path_doc_output}/easejs.info path_doc_output_plain=${path_doc_output}/manual.txt path_doc_output_html=${path_doc_output}/manual path_doc_output_html1=${path_doc_output}/manual.html path_doc_css=${path_doc}/manual.css path_doc_img=${path_doc}/img path_doc_css_ref=manual.css path_manual_texi=${path_doc}/manual.texi path_info_install := /usr/local/share/info doc_src := $(wildcard $(path_doc)/*.texi) doc_imgs := $(patsubst %.dia, %.png, $(wildcard $(path_doc_img)/*.dia)) doc_imgs_txt := $(patsubst %.dia, %.png, $(wildcard $(path_doc_img)/*.txt)) doc_replace := s/<\/body>/