| Location: | Home  Makefile Properties |
DocuShare is now read-only. Use Google Drive.
| Location: | Home Makefile Properties |
 |
The server is currently operating in read-only mode to allow routine maintenance operations to be performed.
Properties cannot be edited at this time.
| Makefile | |
| Handle: | v_Document-92001 |
| Owner: | Raab, Christoph (User-1051, chraab:LDAP)DS |
| Tuesday, July 11, 2023 07:25:49 AM CDT | |
| Tuesday, July 11, 2023 07:25:49 AM CDT | |
| Modified By: | |
| - all: badges clean # To do: languages and variants!! badges: rubber -d -v sources.tex rubber -d -v detectors.tex rubber -d -v physicists.tex cp *pdf ../English-basic/ clean: rm -f *.aux rm -f *.dvi rm -f *.log rm -f *.toc rm -f *.blg rm -f *.bbl rm -f *.out rm -f *.pdf rm -f *backup | |
| 1 | |
| Appears In: | Makefile |
DocuShare is now read-only. Use Google Drive.
Add to Favorites
Delete Version