Commit 72ad41c0 authored by Lars Ingebrigtsen's avatar Lars Ingebrigtsen

Minor fix for previous maintaining.texi change

* doc/emacs/maintaining.texi (VC Directory Commands): Use @file
for files.
parent dbf2f18f
Pipeline #3156 failed with stage
in 90 minutes and 1 second