mirror of
https://github.com/monitoring-plugins/monitoring-plugins.git
synced 2026-02-03 18:49:29 -05:00
217a6a7643
The initial file was created in the user's home and later tested in the doc directory. Instead, just rsync if the file is missing. Also add some temporary files to gitignore/make clean
11 lines
396 B
Makefile
11 lines
396 B
Makefile
# Quick makefile to create developer-guidelines.html
|
|
|
|
developer-guidelines.html: developer-guidelines.sgml
|
|
docbook2html -u developer-guidelines.sgml
|
|
if [ -e developer-guidelines/developer-guidelines.html ] ; then \
|
|
mv developer-guidelines/developer-guidelines.html . ;\
|
|
rm -rf developer-guidelines ;\
|
|
fi
|
|
|
|
clean:
|
|
rm -f developer-guidelines.html developer-guidelines.html.last jade-out.fot
|