diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-06-20 17:10:28 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-06-20 17:10:28 +0200 |
| commit | 0c8a2b29e26e364fa7048b3607f234cf66f04b37 (patch) | |
| tree | 734054e3c24d8c418a7f480365c087b778041470 | |
| parent | ae90c24fb77d37e02fcfaf0ee9ef64c8b72bb1c1 (diff) | |
| download | docs-0c8a2b29e26e364fa7048b3607f234cf66f04b37.tar.gz docs-0c8a2b29e26e364fa7048b3607f234cf66f04b37.tar.bz2 docs-0c8a2b29e26e364fa7048b3607f234cf66f04b37.zip | |
fixing TABs in Makefile
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -53,8 +53,8 @@ clean: # remove all cached state first. html: $(SPHINXBUILD) -b html-linked $(ALLSPHINXOPTS) $(BUILDDIR)/html - @cp favicon.ico $(BUILDDIR)/html - @cp robots.txt $(BUILDDIR)/html + @cp favicon.ico $(BUILDDIR)/html + @cp robots.txt $(BUILDDIR)/html @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." |