diff -r 465fa2121ccb -r f5b9f4bf25a7 misc/doc_alias.sh
--- a/misc/doc_alias.sh	Sun Nov 20 00:23:43 2022 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,5 +0,0 @@
-# source this file. use cargo rustdoc or cargo d --no-deps no build the documentation.
-echo 'Creating cargo-d alias'
-alias cargo-d='RUSTDOCFLAGS="--html-in-header misc/katex-header.html" BROWSER=/Applications/Firefox.app/Contents/MacOS/firefox-bin cargo d --no-deps'
-
- 
\ No newline at end of file