aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* .gitignore: Remove _documents.js.Ulrich Müller2020-02-261-1/+0
| | | | Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* Makefile: do not blindly overwrite documents.jsGöktürk Yüksek2019-12-191-0/+1
| | | | | | | | In case search_index.py fails, it will truncate documents.js. Create documents in a separate file and atomically move it upon completion. Suggested-by: Robin H. Johnson <robbat2@gentoo.org> Signed-off-by: Göktürk Yüksek <gokturk@gentoo.org>
* Implement search functionality via lunr.jsLucas Ramage2019-12-191-0/+1
| | | | | | Bug: https://bugs.gentoo.org/674378 Signed-off-by: Lucas Ramage <ramage.lucas@protonmail.com> Signed-off-by: Göktürk Yüksek <gokturk@gentoo.org>
* Create script for eclass-referenceBrian Evans2019-03-221-0/+1
| | | | | | | This was previously held in infra but contains no identifying information Bug: https://bugs.gentoo.org/536654 Signed-off-by: Brian Evans <grknight@gentoo.org>
* gitignore generated filesPetteri Räty2010-07-101-0/+2
Add entries for *.html and *.png to .gitignore so that git output doesn't have files generated by make.