Mercurial Mercurial > jdk-sandbox / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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















jdk-sandbox