D14000.id33842.diff
No OneTemporary
Actions

Size

598 B

Referenced Files

None

Subscribers

None

D14000.id33842.diff
View Options

	diff --git a/src/docs/user/userguide/diffusion_symbols.diviner b/src/docs/user/userguide/diffusion_symbols.diviner
	--- a/src/docs/user/userguide/diffusion_symbols.diviner
	+++ b/src/docs/user/userguide/diffusion_symbols.diviner
	@@ -65,7 +65,7 @@
	To actually build the symbol index, pipe this data to the
	`import_repository_symbols.php` script, providing the repository callsign:

	- $ ./scripts/symbols/import_repository_symbols.php rREPO < symbols_data
	+ $ ./scripts/symbols/import_repository_symbols.php REPO < symbols_data

	Then just set up a cronjob to run that however often you like.