Show patches with: Series = A small Texinfo refinement       |    State = Action Required       |    Archived = No       |   5 patches
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[v2,5/5] update_web_docs_git: Update CSS reference to new manual CSS A small Texinfo refinement - - - - --- 2023-02-23 Arsen Arsenović New
[v2,4/5] Update texinfo.tex, remove the @gol macro/alias A small Texinfo refinement - - - - --- 2023-02-23 Arsen Arsenović New
[v2,3/5] doc: Add @defbuiltin family of helpers, set documentlanguage A small Texinfo refinement - - - - --- 2023-02-23 Arsen Arsenović New
[v2,2/5] **/*.texi: Reorder index entries A small Texinfo refinement - - - - --- 2023-02-23 Arsen Arsenović New
[v2,1/5] docs: Create Indices appendix A small Texinfo refinement - - - - --- 2023-02-23 Arsen Arsenović New