diff options
| author | Anders Svensson <[email protected]> | 2011-10-10 11:13:38 +0200 |
|---|---|---|
| committer | Anders Svensson <[email protected]> | 2011-10-10 11:13:38 +0200 |
| commit | c5e09d9d4186ee97eaa4c1ac483da66df8bd7e26 (patch) | |
| tree | f8917e9ef808d322532c982a636706c419c1de9f | |
| parent | a5abe96590ec22779f796fc67e5afbbf99a3a922 (diff) | |
| parent | dce08a5f07935e89f8d049376ff660cf59184e85 (diff) | |
| download | otp-c5e09d9d4186ee97eaa4c1ac483da66df8bd7e26.tar.gz otp-c5e09d9d4186ee97eaa4c1ac483da66df8bd7e26.tar.bz2 otp-c5e09d9d4186ee97eaa4c1ac483da66df8bd7e26.zip | |
Merge branch 'anders/diameter/doc_dependencies/OTP-9612'
* anders/diameter/doc_dependencies/OTP-9612:
Simplify depend.sed for better compatibility
| -rw-r--r-- | lib/diameter/doc/src/depend.sed | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/lib/diameter/doc/src/depend.sed b/lib/diameter/doc/src/depend.sed index 5973c4586e..42de597f15 100644 --- a/lib/diameter/doc/src/depend.sed +++ b/lib/diameter/doc/src/depend.sed @@ -21,14 +21,18 @@ # massaged in Makefile. # -/^<com>\([^<]*\)<\/com>/b rf -/^<module>\([^<]*\)<\/module>/b rf +/^<com>/b c +/^<module>/b c /^<chapter>/!d +# Chapter: html basename is same as xml. s@@$(HTMLDIR)/%FILE%.html: %FILE%.xml@ q -:rf -s@@$(HTMLDIR)/\1.html: %FILE%.xml@ +# Reference: html basename is from contents of com/module element. +:c +s@^[^>]*>@@ +s@<.*@@ +s@.*@$(HTMLDIR)/&.html: %FILE%.xml@ q |