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
Mon, 03 Dec 2018 18:33:11 +0100
branchihse-manpages-branch
changeset 57051 d8697832a650
parent 57049 make/scripts/pandoc-manpage-filter.sh.template@d13c49f43710
permissions -rw-r--r--
Add html filter script from Jon.
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 \








57051






d8697832a650
Add html filter script from Jon.



ihse


parents: 
57049

diff
changeset




    28


    "@@TOPDIR@@/make/scripts/pandoc-html-manpage-filter.js" 2> /dev/null















jdk-sandbox