upstream/monitoring-plugins
1
0
Fork 0
mirror of https://github.com/monitoring-plugins/monitoring-plugins.git synced 2026-05-21 09:55:15 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

docs: bring back section numbering in guidelines

Browse source
This commit is contained in:
kibruh 2026-04-24 00:07:40 +02:00
parent b8fc061402
commit b22864eb4a
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
doc/makefile
View file

@ -11,6 +11,7 @@ endif
developer-guidelines.html: developer-guidelines.xml developer-guidelines.css
xsltproc --nonet \
--stringparam html.stylesheet developer-guidelines.css \
--stringparam section.autolabel 1 \
-o developer-guidelines.html \
$(DOCBOOK_XSL) \
developer-guidelines.xml