소스 검색

orgmanual: Remove unnecessary header

Nicolas Goaziou 9 년 전
부모
커밋
bdc4b68334
1개의 변경된 파일0개의 추가작업 그리고 3개의 파일을 삭제
  1. 0 3
      contrib/orgmanual.org

+ 0 - 3
contrib/orgmanual.org

@@ -15,9 +15,6 @@
 #+TEXINFO_DIR_TITLE: Org Mode: (org)
 #+TEXINFO_DIR_DESC: Outline-based notes management and organizer
 
-# FIXME: Disable while in contrib/ since the file is not available.
-# #+TEXINFO_HEADER: @include org-version.inc
-
 # Use proper quote and backtick for code sections in PDF output
 # Cf. Texinfo manual 14.2
 #+TEXINFO_HEADER: @set txicodequoteundirected