make/scripts/pandoc-html-manpage-filter.sh.template
author ihse
Tue, 11 Dec 2018 15:18:57 +0100
changeset 52940 26e2cfebcfba
parent 52714 make/scripts/pandoc-manpage-filter.sh.template@2e52aa822c57
permissions -rw-r--r--
8214720: Add pandoc filter to improve html man page output Reviewed-by: erikj Contributed-by: magnus.ihse.bursie@oracle.com, jonathan.gibbons@oracle.com
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
52714
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
     1
#!/bin/bash
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
     2
#
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
     3
# Copyright (c) 2018, Oracle and/or its affiliates. All rights reserved.
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
     4
# DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
     5
#
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
     6
# This code is free software; you can redistribute it and/or modify it
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
     7
# under the terms of the GNU General Public License version 2 only, as
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
     8
# published by the Free Software Foundation.
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
     9
#
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    10
# This code is distributed in the hope that it will be useful, but WITHOUT
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    11
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    12
# FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    13
# version 2 for more details (a copy is included in the LICENSE file that
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    14
# accompanied this code).
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    15
#
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    16
# You should have received a copy of the GNU General Public License version
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    17
# 2 along with this work; if not, write to the Free Software Foundation,
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    18
# Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    19
#
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    20
# Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    21
# or visit www.oracle.com if you need additional information or have any
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    22
# questions.
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    23
#
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    24
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    25
# Simple wrapper script to call Nashorn with the javascript pandoc filter
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    26
2e52aa822c57 8178317: Create man pages using pandoc from markdown sources
ihse
parents:
diff changeset
    27
@@BOOT_JDK@@/bin/jjs @@JJS_FLAGS@@ -scripting \
52940
26e2cfebcfba 8214720: Add pandoc filter to improve html man page output
ihse
parents: 52714
diff changeset
    28
    "@@TOPDIR@@/make/scripts/pandoc-html-manpage-filter.js" 2> /dev/null