47e0cddbe3
* mk/manfull.pl: Report failures of patching of single-page HTML manuals. It should prevent silent generating of manual pages inconsistent with provided CSS files when output of makeinfo will change next time. |
||
|---|---|---|
| .. | ||
| default.mk | ||
| guidesplit.pl | ||
| manfull.pl | ||
| mansplit.pl | ||
| org-fixup.el | ||
| orgcard2txt.pl | ||
| server.mk | ||
| targets.mk | ||