Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixos-homepage
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: d56019dce07f
Choose a base ref
...
head repository: NixOS/nixos-homepage
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 190f0a468c62
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Apr 6, 2020

  1. For now lets allow to search engines to crawl the website 

    to find 404 parts
    @garbas
    garbas committed Apr 6, 2020

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    GPG key ID: 4AEE18F83AFDEB23
    Expired
    Verified
    Learn about vigilant mode
    Copy the full SHA
    190f0a4 View commit details
Showing with 2 additions and 2 deletions.
  1. +2 −2 Makefile
4 changes: 2 additions & 2 deletions Makefile
View file
Original file line number Diff line number Diff line change
@@ -68,8 +68,8 @@ all: $(HTML) favicon.png favicon.ico robots.txt $(subst .png,-small.png,$(filter

robots.txt: $(HTML)
echo "Users-agent: *" >> $@
echo "Disallow: /" >> $@
for page in $(HTML); do echo "Allow: /$$page" >> $@; done
#echo "Disallow: /" >> $@
#for page in $(HTML); do echo "Allow: /$$page" >> $@; done

favicon.png: logo/nixos-logo-only-hires.png
convert -resize 16x16 -background none -gravity center -extent 16x16 $< $@