From bdc4b68334bc45c118d5479a044e342b7925e53b Mon Sep 17 00:00:00 2001 From: Nicolas Goaziou Date: Thu, 19 May 2016 18:12:37 +0200 Subject: [PATCH] orgmanual: Remove unnecessary header --- contrib/orgmanual.org | 3 --- 1 file changed, 3 deletions(-) diff --git a/contrib/orgmanual.org b/contrib/orgmanual.org index e5935ca01..bc29a472b 100644 --- a/contrib/orgmanual.org +++ b/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