diff options
| -rw-r--r-- | src/copy/robots.txt | 4 | ||||
| -rw-r--r-- | src/htdocs/Makefile.am | 4 |
2 files changed, 7 insertions, 1 deletions
diff --git a/src/copy/robots.txt b/src/copy/robots.txt new file mode 100644 index 00000000..b1c11ec0 --- /dev/null +++ b/src/copy/robots.txt @@ -0,0 +1,4 @@ +# these win32 packages are old and broken and unsupported, we +# don't want them to show up when people search for 'gstreamer windows' +User-agent: * +Disallow: /pkg/windows/ diff --git a/src/htdocs/Makefile.am b/src/htdocs/Makefile.am index 83a86691..1acf2eea 100644 --- a/src/htdocs/Makefile.am +++ b/src/htdocs/Makefile.am @@ -22,7 +22,9 @@ media pkg src: data: ln -sf ../data . +robots.txt: $(top_srcdir)/copy/robots.txt + cp $(top_srcdir)/copy/robots.txt $@ -all-local: media pkg src data +all-local: media pkg src data robots.txt include $(top_srcdir)/html.make |