diff -r 000000000000 -r b74b0e4902c3 components/esp32-ds18b20/doc/.gitignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/components/esp32-ds18b20/doc/.gitignore	Sat Oct 20 13:23:15 2018 +0200
@@ -0,0 +1,3 @@
+html/
+latex/
+