diff options
Diffstat (limited to 'libstdc++-v3/docs/html/Makefile')
| -rw-r--r-- | libstdc++-v3/docs/html/Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/libstdc++-v3/docs/html/Makefile b/libstdc++-v3/docs/html/Makefile index bedbd883f18..df46f74d7a2 100644 --- a/libstdc++-v3/docs/html/Makefile +++ b/libstdc++-v3/docs/html/Makefile @@ -1,5 +1,13 @@ +MAKEINFO=makeinfo +INC=../../../gcc/doc/include + +all: faq/index.txt 17_intro/porting.html + faq/index.txt: faq/index.html - lynx -dump faq/index.html | sed "s%file://localhost`pwd`%..%" > $@ + lynx -dump $< | sed "s%file://localhost`pwd`%..%" > $@ + +17_intro/porting.html: 17_intro/porting.texi + ${MAKEINFO} -I ${INC} --html --no-split $< -o $@ |