diff options
-rw-r--r-- | Makefile.am | 4 | ||||
-rwxr-xr-x | build-aux/dist-docs | 23 |
2 files changed, 22 insertions, 5 deletions
diff --git a/Makefile.am b/Makefile.am index 49010b3b5..4b017666b 100644 --- a/Makefile.am +++ b/Makefile.am @@ -63,8 +63,8 @@ CLEAN_LOCAL = DISTCLEANFILES = PYCOV_CLEAN_FILES = build-aux/check-structs,cover -# A list of Markdown-formatted documentation that will automatically be -# included in the "make dist-docs" output. +# A list of Markdown- or reStructuredText-formatted documentation that will +# automatically be included in the "make dist-docs" output. docs = \ CONTRIBUTING.md \ CodingStyle.md \ diff --git a/build-aux/dist-docs b/build-aux/dist-docs index a81e4b266..fdaa06692 100755 --- a/build-aux/dist-docs +++ b/build-aux/dist-docs @@ -35,6 +35,7 @@ search_path () { } search_path man search_path markdown +search_path rst2html search_path ps2pdf # Create dist-docs directory. @@ -61,9 +62,9 @@ cat >&3 <<EOF <table> EOF -# Add top-level documentation to index.html, giving it .txt extensions so -# that the webserver doesn't serve it as Markdown and make your web browser -# try to invoke some kind of external helper you don't have installed. +# 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. # # Also translate documentation to HTML. for file @@ -92,6 +93,22 @@ EOF EOF ;; + *.rst) + title=`grep -A 1 -e "^=" $srcdir/$file | sed -n 2p` + cp "$srcdir/$file" "$distdir/$file.txt" + ln -s $(basename "$file.txt") "$distdir/$file" + rst2html "$distdir/$file.txt" --stylesheet-path="style.css" \ + --link-stylesheet --title="$file (Open vSwitch $VERSION)" \ + > "$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 + ;; + *) cp "$srcdir/$file" "$distdir/$file" cat <<EOF |