doc/make.texi: Remove unnecessary @node arguments

This commit is contained in:
Paul Smith 2023-08-29 14:44:50 -04:00
parent c4ecd9d9eb
commit cd33c9a1e9

File diff suppressed because it is too large Load Diff