#!/bin/bash
# dev/docs/index - package source reference index support
set -e
lib_load 'dev/docs/html'
lib_load 'dev/tool/pygmentize'
######
# HTML Source Code
docs_raw_filename() { echo "$package_docs_refdir/$1${2:+.}$2"; }
docs_gen_html_raw() {
local -a files=( "$@" )
[ "$*" ] || docs_file_list files src libs conf
for_each docs_gen_html_raw_file "${files[@]}"
}
docs_gen_html_raw_file() {
local file=$1
local raw=$(docs_raw_filename "$file" raw.html)
file_mkdir "$raw"
[ "${file/conf\//}" != "$file" ] || file="$file.sh"
file=${file/src\//bin\/}
local src="$package_gendir/$file"
{
local tmp
tmp=$(cmd_tempfile)
local -a pygmentize_options
pygmentize_option_add full
pygmentize_format_file bash html "$src" "$tmp"
head -n-2 "$tmp"
docs_gen_html_page_footer
} > "$raw"
}
######
# Highlighted Source Code Generation
docs_css_name() { echo "docs.css"; }
docs_css_filename() { echo "$package_docs_gendir/$(docs_css_name)"; }
docs_gen_html_css() {
local css=$(docs_css_filename)
file_mkdir "$css"
pygmentize_format_style html "$docs_style" "$css"
}
Generated on Fri Jul 28 14:35:09 PDT 2017 by mcsh d14 v0.23.0.