e59d910cf9
Allow for other GitHub Pages content than `dbus/` `make diff` (needs `xmlstarlet` now) checks that docs and implementation haven't diverged TODO: figure out how to do the non-main interfaces like ServiceStatus or Software.Proposal
1 line
6 B
Text
1 line
6 B
Text
dist/
|