]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'mk/doc-gitfile-more'
authorJunio C Hamano <gitster@pobox.com>
Wed, 20 Dec 2023 18:14:53 +0000 (10:14 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 20 Dec 2023 18:14:53 +0000 (10:14 -0800)
Doc update.

* mk/doc-gitfile-more:
  doc: make the gitfile syntax easier to discover

1  2 
Documentation/glossary-content.txt

index 59d8ab85721b93daaaa597eab45ab42cc0a9e6ff,3f912e7bb26e3a7cd5ac5f5adcd2b098a859605b..fbbb3f2de3dc80a280041b3fd951149dc86b83e6
@@@ -202,9 -184,11 +202,11 @@@ current branch integrates with) obvious
  [[def_gitfile]]gitfile::
        A plain file `.git` at the root of a working tree that
        points at the directory that is the real repository.
+       For proper use see linkgit:git-worktree[1] or linkgit:git-submodule[1].
+       For syntax see linkgit:gitrepository-layout[5].
  
  [[def_grafts]]grafts::
 -      Grafts enables two otherwise different lines of development to be joined
 +      Grafts enable two otherwise different lines of development to be joined
        together by recording fake ancestry information for commits. This way
        you can make Git pretend the set of <<def_parent,parents>> a <<def_commit,commit>> has
        is different from what was recorded when the commit was