Show patches with: Series = A small Texinfo refinement       |    Archived = No       |   5 patches
Patch Series A/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 - - - -1- 2023-02-23 Arsen Arsenović Unresolved
[v2,4/5] Update texinfo.tex, remove the @gol macro/alias A small Texinfo refinement - - - -1- 2023-02-23 Arsen Arsenović Unresolved
[v2,3/5] doc: Add @defbuiltin family of helpers, set documentlanguage A small Texinfo refinement - - - -1- 2023-02-23 Arsen Arsenović Unresolved
[v2,2/5] **/*.texi: Reorder index entries A small Texinfo refinement - - - -1- 2023-02-23 Arsen Arsenović Unresolved
[v2,1/5] docs: Create Indices appendix A small Texinfo refinement - - - 1-- 2023-02-23 Arsen Arsenović Accepted