bearfm
/
site
mirror of https://github.com/bearfm/site.git
1
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

gahhh

This commit is contained in:
bearfm 2024-03-11 20:19:50 -07:00
parent dbb7e38908
commit 86bfa74bb4
Signed by: bearfm
GPG Key ID: 573A776FED58E1A4
2 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Makefile
View File

@ -52,8 +52,8 @@ js:
$(DISTDIR)/robots.txt:
@echo "User-Agent: *" > $@
@echo "Allow: *" >> $@
@echo "Sitemap: $(URI)/sitemap.xml" >> $@
@echo "Disallow: /" >> $@
# @echo "Sitemap: $(URI)/sitemap.xml" >> $@
$(DISTDIR)/sitemap.xml: $(HTMLFILES)
@echo '<?xml version="1.0" encoding="UTF-8"?><urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">' > $@

3
dist/robots.txt vendored
View File

@ -1,3 +1,2 @@
User-Agent: *
Allow: *
Sitemap: https://bear.oops.wtf/sitemap.xml
Disallow: /