mirror of
https://github.com/monitoring-plugins/monitoring-plugins.git
synced 2026-02-13 15:53:47 -05:00
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 |
||
|---|---|---|
| .. | ||
| developer-guidelines.sgml | ||
| LEAVERS | ||
| makefile | ||
| NEW_STARTERS | ||
| README | ||
| RELEASING | ||
The developer documentation here is generated from the DocBook format.