summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterdev-tex/rubber: Install GNU Info file in correct locationUlrich Müller4 min.