Skip to content

Commit

Permalink
"basename" is more common [ci skip]
Browse files Browse the repository at this point in the history
  • Loading branch information
josephwright committed Oct 19, 2018
1 parent 52d7087 commit 7c8d21c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion l3build.dtx
Expand Up @@ -474,7 +474,7 @@
%
% \begin{buildcmd}{doc \meta{name(s)}}
% Typesets only the files with the \meta{name(s)} given, which should be the
% root name without any extension.
% basename without any extension.
% \end{buildcmd}
%
% \begin{buildcmd}{install}
Expand Down

0 comments on commit 7c8d21c

Please sign in to comment.