]> git.ipfire.org Git - thirdparty/gnulib.git/commitdiff
autoupdate
authorKarl Berry <karl@freefriends.org>
Wed, 1 Oct 2025 15:07:41 +0000 (08:07 -0700)
committerKarl Berry <karl@freefriends.org>
Wed, 1 Oct 2025 15:07:41 +0000 (08:07 -0700)
doc/make-stds.texi

index 1bc421803ea9e8f7ada000cb61948fa3a3042c6d..88e3edb04324d16331be9ac2efe62b809acd66f3 100644 (file)
@@ -938,7 +938,7 @@ rule for an info file should update it in the source directory.  When
 users build the package, ordinarily Make will not update the Info files
 because they will already be up to date.
 
-@itemx html
+@item html
 @itemx pdf
 @itemx ps
 Generate documentation files in the given format.  These targets