diff options
| author | Stephen Finucane <stephen@that.guru> | 2016-11-07 11:22:00 +0000 |
|---|---|---|
| committer | Russell Bryant <russell@ovn.org> | 2016-11-07 14:19:10 -0800 |
| commit | 60230e06ce89ac7bb4e2cba85a4e037a5ffbd224 (patch) | |
| tree | efeb785619bd8e3c93093adc547b1a16487b3b55 /build-aux/dist-docs | |
| parent | 673b80eacc34f359fd2bca2820270df2c65fa0a0 (diff) | |
| download | openvswitch-60230e06ce89ac7bb4e2cba85a4e037a5ffbd224.tar.gz | |
doc: Remove final markdown references
There are some leftover Markdown references and Markdown-related
tooling. Seeing as there are no Markdown files left, we can kill it all
with fire.
Signed-off-by: Stephen Finucane <stephen@that.guru>
Signed-off-by: Russell Bryant <russell@ovn.org>
Diffstat (limited to 'build-aux/dist-docs')
| -rwxr-xr-x | build-aux/dist-docs | 26 |
1 files changed, 2 insertions, 24 deletions
diff --git a/build-aux/dist-docs b/build-aux/dist-docs index fdaa06692..1d7eeb534 100755 --- a/build-aux/dist-docs +++ b/build-aux/dist-docs @@ -34,7 +34,6 @@ search_path () { exit 1 } search_path man -search_path markdown search_path rst2html search_path ps2pdf @@ -63,8 +62,8 @@ cat >&3 <<EOF EOF # Add top-level documentation to index.html, giving it .txt extensions so that -# the webserver doesn't serve it as Markdown/rST and make your web browser try -# to invoke some kind of external helper you don't have installed. +# the webserver doesn't serve it as rST and make your web browser try to invoke +# some kind of external helper you don't have installed. # # Also translate documentation to HTML. for file @@ -72,27 +71,6 @@ do title=`head -1 "$srcdir/$file"` dir=$distdir/`dirname $file`; test -d "$dir" || mkdir "$dir" case $file in - *.md) - cp "$srcdir/$file" "$distdir/$file.txt" - ln -s $(basename "$file.txt") "$distdir/$file" - (cat <<EOF -<html><head> - <meta charset="UTF-8"></head> - <link rel="stylesheet" type="text/css" href="style.css"> - <title>$file (Open vSwitch $VERSION)</title> -</head><body> -EOF - markdown "$distdir/$file.txt" - echo "</body></html>") > "$distdir/$file.html" - cat <<EOF -<tr> - <td>$file</td> - <td>$title</td> - <td><a href="$file.html">HTML</a>, <a href="$file.txt">plain text</a></td> -</tr> -EOF - ;; - *.rst) title=`grep -A 1 -e "^=" $srcdir/$file | sed -n 2p` cp "$srcdir/$file" "$distdir/$file.txt" |