File mp-5.62-mpsl-make-quickref.patch of Package mp
fix building of doc/mpsl_quickref.ps, and add it to docsclean target --- a/mpsl/makefile.in 2024-12-07 08:52:47.000000000 +0100 +++ b/mpsl/makefile.in 2025-05-26 17:09:43.643633225 +0200 @@ -78,7 +78,7 @@ .txt.html: grutatxt < $< > $@ -doc/mpsl_quickref.ps: doc/mpsl_quickref.txt +doc/mpsl_quickref.ps: doc/mpsl_quickref.txt mpsl -./mpsl scripts/mkquickref.mpsl < doc/mpsl_quickref.txt > $@ doc/mpsl_api.txt: mpsl_c.c mpsl.y @@ -96,7 +96,7 @@ docs: $(DOCS) docsclean: - rm -f $(MP_DOCCER_DOCS) doc/*.html + rm -f $(MP_DOCCER_DOCS) doc/*.html doc/*.ps distcopy: distclean mkdir -p $(DIST_TARGET) ; \